/ts-theorem-provinator

Experiment to use typescript's type system for theorem proving

Primary LanguageTypeScriptMIT LicenseMIT

No issues in this repository yet.