Mirrorshard: Proof by computational reflection with verified hints (0)

by Gregory Malecha, Adam Chlipala, Thomas Braibant, Patrick Hulin, Edward Z Yang
Venue:CoRR