| Commit message (Expand) | Author | |
|---|---|---|
| 2023-12-22 | refactor: minor refactor of proofs | Akshay Nair |
| 2023-12-16 | feat: lambda calculus | Akshay Nair |
| 2023-12-15 | refactor: moves stuff around | Akshay Nair |
![]() |
index : ts-theorem-provinator | |
| Experiment to use typescripts type system for theorem proving |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | |
|---|---|---|
| 2023-12-22 | refactor: minor refactor of proofs | Akshay Nair |
| 2023-12-16 | feat: lambda calculus | Akshay Nair |
| 2023-12-15 | refactor: moves stuff around | Akshay Nair |