| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | feat: adds monadic/dyadic operators | Akshay Nair | 2023-12-15 |
| | | |||
| * | Merge branch 'main' of github.com:phenax/ts-theorem-provinator | Akshay Nair | 2023-12-15 |
| |\ | |||
| | * | Update README.md | Akshay Nair | 2023-12-12 |
| | | | |||
| * | | 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-15 |
| |/ | |||
| * | 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-12 |
| | | |||
| * | cheated for associativity for a=n | Akshay Nair | 2023-12-10 |
| | | |||
| * | adds associativity for a=0 | Akshay Nair | 2023-12-10 |
| | | |||
| * | init commit rewriting shit | Akshay Nair | 2023-12-10 |
 |
index : ts-theorem-provinator | |
| Experiment to use typescripts type system for theorem proving |
| aboutsummaryrefslogtreecommitdiff |