People's Verification System in Dedukti
Primary LanguageCommon LispOtherNOASSERTION
No issues in this repository yet.