summaryrefslogtreecommitdiff
path: root/library
AgeCommit message (Expand)Author
2025-08-23Update urysohntwo.texadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2025-07-09Update function.texadelon
2025-07-09Refine `bijection_circ`adelon
2025-07-09`fld_cons` faster proof (down from 12s)adelon
2025-07-08Revert function changesadelon
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-07Basic proofsadelon
2025-07-07Update set.texadelon
2025-07-04Delete wunschzettel.texadelon
2025-07-04Update function.texadelon
2025-07-04Continue proof and tweak formattingadelon
2025-07-04Start propositional logicadelon
2025-07-04Update filenameadelon
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 07:00:47 +0000