GitHub repository: mit-plv/reification-by-parametricity
Primary language: Mathematica
Created: 2018-05-01T14:27:15Z
Description: Fast Setup for Proof by Reflection, in Two Lines of Ltac.