| Commit message (Collapse) | Author | ||
|---|---|---|---|
| 2023-12-16 | feat: lambda calculus | Akshay Nair | |
| 2023-12-15 | refactor: moves stuff around | Akshay Nair | |
| 2023-12-15 | feat: adds monadic/dyadic operators | Akshay Nair | |
| 2023-12-15 | feat: equation proofs (substitution + transitivity) | Akshay Nair | |
| 2023-12-15 | refactor: add support for imperative rewrites to make Refl more generic | Akshay Nair | |
| 2023-12-12 | refactor: refactorification | Akshay Nair | |
| 2023-12-12 | feat: associativity + distributivity for multiplication | Akshay Nair | |
| 2023-12-12 | feat: commutativity + identity for multiplication | Akshay Nair | |
| 2023-12-12 | feat: associativity and commutativity for addition | Akshay Nair | |
| 2023-12-10 | adds associativity for a=0 | Akshay Nair | |
 |
index : ts-theorem-provinator | |
| Experiment to use typescripts type system for theorem proving |
| aboutsummaryrefslogtreecommitdiff |