felix.git/library/nat.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T16:42:54+00:00 Rewrite protected set and naturals closure 2026-08-02T16:42:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:42:54+00:00 urn:sha1:5f64079c4ec671de04971f38907805e9de514537 Clean/fix 2026-02-20T21:38:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-20T21:38:57+00:00 urn:sha1:0c5629e43bd82e925c45ee9f1c5230a94b4827f3 working commit 2024-09-22T23:20:05+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-22T23:20:05+00:00 urn:sha1:29f32e2031eafa087323d79d812a1b38ac78f977 Adding the first formalisation of reals 2024-04-30T10:26:13+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-04-30T10:26:13+00:00 urn:sha1:cfd5061ced34f061e84ecca2a266f8f4cd01ce36 first formalisation of addition on naturals 2024-04-13T11:01:14+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-04-13T11:01:14+00:00 urn:sha1:6eea98cf3e66a07251e6370ea948898799d5055b We try to Implement the Addition on natural numbers by a relation on N \times N to N such that some of the axioms of the addition holds Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968