/FPOP

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.