summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2024-09-03Finished induction beginSimon-Kor
2024-09-03Inculde hot fix in working branchSimon-Kor
2024-09-03Hot fixSimon-Kor
2024-09-02working commitSimon-Kor
2024-09-02working commitSimon-Kor
2024-09-02Corrected Contradiction.Simon-Kor
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 08:32:40 +0000