| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-07-08 | Update lemma name | adelon |
| 2025-07-08 | Optimize proof | adelon |
| 2025-07-08 | Linting and optimization | adelon |
| 2025-07-08 | Linting | adelon |
| 2025-07-07 | Clean whitespace, add TODO | adelon |
| 2025-07-07 | Basic proofs | adelon |
| 2025-07-07 | Update set.tex | adelon |
| 2025-07-04 | Update Adapt.hs | adelon |
| 2025-07-04 | Delete wunschzettel.tex | adelon |
| 2025-07-04 | Update Adapt.hs | adelon |
| 2025-07-04 | Update function.tex | adelon |
| 2025-07-04 | Continue proof and tweak formatting | adelon |
| 2025-07-04 | Start propositional logic | adelon |
| 2025-07-04 | Update filename | adelon |
| 2025-07-04 | Forward compat | adelon |
| 2025-07-04 | Rename for compat | adelon |
| 2025-07-04 | Fix whitespace | adelon |
| 2025-07-02 | Create SmtLib.hs | adelon |
| 2025-07-02 | Add TODO | adelon |
| 2025-07-02 | Merge pull request #2 from Simon-Kor/main | adelon |
| 2024-09-23 | Abgabe | Simon-Kor |
| 2024-09-23 | Abgabe | Simon-Kor |
| 2024-09-23 | working commit | Simon-Kor |
| 2024-09-18 | Ambiguous parse | Simon-Kor |
| 2024-09-18 | working commit | Simon-Kor |
| 2024-09-17 | working commit | Simon-Kor |
| 2024-09-17 | Corrected Math Env Parsing | Simon-Kor |
| 2024-09-16 | Topo Space Real Verfication | Simon-Kor |
| 2024-09-16 | working commit | Simon-Kor |
| 2024-09-16 | Finished proof of topological basis | Simon-Kor |
| 2024-09-16 | working commit | Simon-Kor |
| 2024-09-16 | Missmatched Assume Error found. not fixed | Simon-Kor |
| 2024-09-15 | Fix Assume Issue | Simon-Kor |
| 2024-09-15 | Issue at Fixing. | Simon-Kor |
| 2024-09-05 | Precondtion failed in line 161 urysohn2.tex | Simon-Kor |
| 2024-09-05 | working commit | Simon-Kor |
| 2024-09-04 | working commit | Simon-Kor |
| 2024-09-04 | Mismatched Assume in Induction | Simon-Kor |
| 2024-09-03 | working commit | Simon-Kor |
| 2024-09-03 | Finished induction begin | Simon-Kor |
| 2024-09-03 | Inculde hot fix in working branch | Simon-Kor |
| 2024-09-03 | Hot fix | Simon-Kor |
| 2024-09-02 | working commit | Simon-Kor |
| 2024-09-02 | working commit | Simon-Kor |
| 2024-09-02 | Corrected Contradiction. | Simon-Kor |
| 2024-08-31 | Contradiction in sequence | Simon-Kor |
| 2024-08-31 | working commit | Simon-Kor |
| 2024-08-30 | working commit | Simon-Kor |
| 2024-08-29 | working commit | Simon-Kor |
| 2024-08-28 | working commit | Simon-Kor |
 |
index : naproche-zf.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |