| Age | Commit message (Expand) | Author |
|---|---|---|
| 3 hours | Update .gitignoreHEADhotg | adelon |
| 2026-04-13 | Implement datatypes | adelon |
| 2026-03-20 | Update .gitignore | adelon |
| 2026-03-07 | Update .gitignore | adelon |
| 2026-02-12 | Update .gitignore | adelon |
| 2025-11-28 | Update for newer text-builder | adelon |
| 2024-06-26 | update gitigonre | Simon-Kor |
| 2024-05-28 | unexpected behavior of vampire | Simon-Kor |
| 2024-05-28 | proofing some lammes about topological basis | Simon-Kor |
| 2024-03-31 | Possible_Bug | Simon-Kor |
| 2024-02-10 | Initial commit | adelon |
