| Commit message (Collapse) | Author | ||
|---|---|---|---|
| 2023-12-22 | feat: adds SKI combinatorsHEADmain | Akshay Nair | |
| 2023-12-16 | feat: lambda calculus | Akshay Nair | |
 |
index : ts-theorem-provinator | |
| Experiment to use typescripts type system for theorem proving |
| aboutsummaryrefslogtreecommitdiff |