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