projects / temple.lean4.git / summary
| description | Simple template library in Lean4. |
| last change | Sat, 30 Mar 2024 17:18:10 +0000 (21:18 +0400) |
| 2024-03-30 | Evgenii Akentev | Fix operators master | 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 |
| 16 months ago | master | shortlog | log | tree |