Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
Home Page:https://cs.uwaterloo.ca/~yizhou/papers/fpop-pldi2023-tr.pdf
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool