Proof by Computation (0)

by M Oostdijk, H Geuvers
Venue:in the Coq system, Theoretical Computer Science 272