An introduction to small scale reflection in Coq (0)

by G Gonthier, A Mahboubi
Venue:Journal of Formal Reasoning