| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | update log update | 2026-01-01 | 1 | -0/+2 | |
| | | |||||
| * | timestamp | 2026-01-01 | 1 | -0/+3 | |
| | | |||||
| * | fix | 2025-12-31 | 1 | -1/+5 | |
| | | |||||
| * | changes | 2025-12-30 | 1 | -43/+61 | |
| | | |||||
| * | new axiom | 2025-12-30 | 1 | -1/+15 | |
| | | |||||
| * | new axioms + fontfix | 2025-12-30 | 1 | -18/+35 | |
| | | |||||
| * | readme | 2025-12-30 | 1 | -1/+1 | |
| | | |||||
| * | initial commit | 2025-12-30 | 1 | -0/+231 | |
