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