phenax/ts-theorem-provinator
Experiment to use typescript's type system for theorem proving
TypeScriptMIT
No issues in this repository yet.
Experiment to use typescript's type system for theorem proving
TypeScriptMIT
No issues in this repository yet.