projects / temple.lean4.git / summary
| description | Simple template library in Lean4. |
| last change | Tue, 19 Aug 2025 19:17:37 +0000 (23:17 +0400) |
| 2025-08-19 | Evgenii Akentev | Update the deps master | commit | commitdiff | tree | snapshot |
| 2024-03-30 | Evgenii Akentev | Fix operators | commit | commitdiff | tree | snapshot |
| 2024-03-28 | Evgenii Akentev | Add operators support. | commit | commitdiff | tree | snapshot |
| 2024-03-26 | Evgenii Akentev | Small improvements | commit | commitdiff | tree | snapshot |
| 2024-03-26 | Evgenii Akentev | It works. | commit | commitdiff | tree | snapshot |
| 2024-03-24 | Evgenii Akentev | Add debruijn term | commit | commitdiff | tree | snapshot |
| 2024-03-24 | Evgenii Akentev | Add simple parser | commit | commitdiff | tree | snapshot |
| 2 months ago | master | shortlog | log | tree |