Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
Primary LanguageCoqMIT LicenseMIT
No one’s star this repository yet.