projects / temple.lean.git / shortlog
| 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 |