/logji

Old experiment of creating a language for calculating proofs of theorems.

Primary LanguageSchemeThe UnlicenseUnlicense

No issues in this repository yet.