/vitefolts

vitefolts First Order Logic Typescript theorem prover

Primary LanguageTypeScriptMIT LicenseMIT

Stargazers