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