summaryrefslogtreecommitdiff
path: root/library/topology
AgeCommit message (Expand)Author
34 hoursKeep topological basis authority cleanadelon
34 hoursMigrate separation spaces to exact checkingadelon
34 hoursMigrate topological disconnections to exact checkingadelon
34 hoursMigrate topological bases to exact checkingadelon
35 hoursMigrate topological spaces to exact checkingadelon
36 hoursMigrate preclosure spacesadelon
2026-04-12Make handling of local variables stricteradelon
2025-11-29Integrate chunker and import gatherer into lexeradelon
2025-11-27Update errors and cull formalizationsadelon
2025-08-23Update urysohntwo.texadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-08Update lemma nameadelon
2025-07-08Optimize proofadelon
2025-07-08Linting and optimizationadelon
2025-07-08Lintingadelon
2025-07-07Clean whitespace, add TODOadelon
2025-07-04Continue proof and tweak formattingadelon
2025-07-04Rename for compatadelon
2024-09-23AbgabeSimon-Kor
2024-09-23working commitSimon-Kor
2024-09-18Ambiguous parseSimon-Kor
2024-09-18working commitSimon-Kor
2024-09-17working commitSimon-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-16working commitSimon-Kor
2024-09-16Missmatched Assume Error found. not fixedSimon-Kor
2024-09-15Fix Assume IssueSimon-Kor
2024-09-15Issue at Fixing.Simon-Kor
2024-09-05Precondtion failed in line 161 urysohn2.texSimon-Kor
2024-09-05working commitSimon-Kor
2024-09-04working commitSimon-Kor
2024-09-04Mismatched Assume in InductionSimon-Kor
2024-09-03working commitSimon-Kor
2024-09-03Finished induction beginSimon-Kor
2024-09-02working commitSimon-Kor
2024-09-02working commitSimon-Kor
2024-09-02Corrected Contradiction.Simon-Kor
2024-08-31Contradiction in sequenceSimon-Kor
2024-08-31working commitSimon-Kor
2024-08-30working commitSimon-Kor
2024-08-29working commitSimon-Kor
2024-08-28working commitSimon-Kor
2024-08-27working commitSimon-Kor
2024-08-27Feature CompleteSimon-Kor
2024-08-27ambigus parse fix. The proof goal must be changed,Simon-Kor
2024-08-27Experimental working commit, programm will compileSimon-Kor
2024-08-24naproch sty extensionSimon-Kor
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 01:14:13 +0000