summaryrefslogtreecommitdiff
path: root/library/numbers.tex
AgeCommit message (Expand)Author
2025-07-08Lintingadelon
2024-09-23AbgabeSimon-Kor
2024-09-17Corrected Math Env ParsingSimon-Kor
2024-09-16Topo Space Real VerficationSimon-Kor
2024-09-16working commitSimon-Kor
2024-09-16Finished proof of topological basisSimon-Kor
2024-09-15Fix Assume IssueSimon-Kor
2024-09-15Issue at Fixing.Simon-Kor
2024-09-04Mismatched Assume in InductionSimon-Kor
2024-08-09fixed axiomatic errorSimon-Kor
2024-08-07Created first urysohn formalizationSimon-Kor
2024-07-21Further Formalisation on numbersSimon-Kor
2024-07-06Formalisation of rationals.Simon-Kor
2024-07-06Formalisation of integers.Simon-Kor
2024-07-06Finished the formalization of naturals.Simon-Kor
2024-07-05Proof of 1 is identity on the naturals and beginSimon-Kor
2024-07-02Further Formalisation of naturals.Simon-Kor
2024-07-02Definition and axioms of naturals.Simon-Kor
2024-06-26Working at the numbers.texSimon-Kor
2024-06-25Sorted the structure of numbers.texSimon-Kor
2024-06-04Some notation fixes and lemma for topo basis generats opens was proofed and o...Simon-Kor
2024-05-14work on metric spacesSimon-Kor
2024-05-07formalisation mertic optimizedSimon-Kor
2024-05-07Clean up of Notation in numbers.texSimon-Kor
2024-05-07Formalization of metric spaces and some cleaning of numbers.texSimon-Kor
2024-04-30Adding the first formalisation of realsSimon-Kor
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 08:24:04 +0000