summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-08-26Implemented the checking for local functions.Simon-Kor
2024-08-26Non finished attemped to translate a localSimon-Kor
2024-08-26I implemented a parsing rule in concrete.hsSimon-Kor
2024-08-24First atemped to write a new way of local function defintionSimon-Kor
2024-08-24hlint suggestionSimon-Kor
2024-08-24Added/Fixed commentsSimon-Kor
2024-08-24naproch sty extensionSimon-Kor
2024-08-14some wishes for NaprocheZFSimon-Kor
2024-08-14The added proposition and definition should haveSimon-Kor
2024-08-13less urysohnSimon-Kor
2024-08-12way way way way more urysohnSimon-Kor
2024-08-12way way way more urysohnSimon-Kor
2024-08-12way way more urysohnSimon-Kor
2024-08-12way more urysohnSimon-Kor
2024-08-12Completed the structure of the proof of Urysohn.Simon-Kor
2024-08-12more more way more urysohnSimon-Kor
2024-08-11more more more urysohnSimon-Kor
2024-08-10more more urysohnSimon-Kor
2024-08-10more urysohnSimon-Kor
2024-08-10more ur<sohnSimon-Kor
2024-08-09fixed axiomatic errorSimon-Kor
2024-08-09put cardinalit to the right placeSimon-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-26Merge remote-tracking branch 'upstream/main' into formalisation_numbersSimon-Kor
2024-06-26Working at the numbers.texSimon-Kor
2024-06-25Add `\neg`adelon
2024-06-25Update equivalence.texadelon
2024-06-25[Stable] Implented continuous.tex and omitted some provesSimon-Kor
2024-06-25Improvement for the ATP proof timeSimon-Kor
2024-06-25Improvement for the ATP proof timeSimon-Kor
2024-06-25Sorted the structure of numbers.texSimon-Kor
2024-06-25definition of equivalence_from_partition can proof false in everything.texSimon-Kor
2024-06-20[Stable] Topologgical-space.texSimon-Kor
2024-06-20[Report] Task failed and was proven in the same time.Simon-Kor
2024-06-18Merge remote-tracking branch 'upstream/main'Simon-Kor
2024-06-18Definition of T3 and regular spaces.Simon-Kor
2024-06-18Update topological-space.texadelon
2024-06-17Completed proofs [stable]Simon-Kor
2024-06-16First implementation of basic relations of closed and open.Simon-Kor
2024-06-12Prove Bug "Ex falso quodlibet"Simon-Kor
2024-06-11proof of complement_interior_eq_closure_complement and some more about clousu...Simon-Kor
2024-06-10Dedupe helper functionadelon
2024-06-05Update Megalodon.hsadelon
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 10:47:20 +0000