Experiment to use typescript's type system for theorem proving
Primary LanguageTypeScriptMIT LicenseMIT