A verified Implementation of a mini prolog
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.