/reification-by-parametricity

Fast Setup for Proof by Reflection, in Two Lines of Ltac.

Primary LanguageMathematicaMIT LicenseMIT

Watchers