Fast Setup for Proof by Reflection, in Two Lines of Ltac.
Primary LanguageMathematicaMIT LicenseMIT
No issues in this repository yet.