summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-08-23Update urysohntwo.texadelon
2025-08-14Improve scanningadelon
2025-08-12Relax function symbol definitionsadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-31Remove unused keywordadelon
2025-07-16Relax label syntaxadelon
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-04Update Adapt.hsadelon
2025-07-04Delete wunschzettel.texadelon
2025-07-04Update Adapt.hsadelon
2025-07-04Update function.texadelon
2025-07-04Continue proof and tweak formattingadelon
2025-07-04Start propositional logicadelon
2025-07-04Update filenameadelon
2025-07-04Forward compatadelon
2025-07-04Rename for compatadelon
2025-07-04Fix whitespaceadelon
2025-07-02Create SmtLib.hsadelon
2025-07-02Add TODOadelon
2025-07-02Merge pull request #2 from Simon-Kor/mainadelon
2024-09-23AbgabeSimon-Kor
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 07:37:42 +0000