| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | feat: adds SKI combinators | Akshay Nair | 3 years | |
| Age | Commit message | Author | ||
| 2023-12-22 | feat: adds SKI combinatorsHEADmain | Akshay Nair | ||
| 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 | ||
| 2023-12-15 | 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 | 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 | Update README.md | Akshay Nair | ||
| 2023-12-12 | refactor: refactorification | Akshay Nair | ||
| [...] | ||||
 |
index : ts-theorem-provinator | |
| Experiment to use typescripts type system for theorem proving |
| aboutsummaryrefslogtreecommitdiff |