Gitstar Ranking

mit-plv / reification-by-parametricity

Fast Setup for Proof by Reflection, in Two Lines of Ltac. - View it on GitHub
http://adam.chlipala.net/papers/ReificationITP18/
Star
14
Rank
1263247