From Sets to Bits in Coq

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-29604-3_2 ◽

2016 ◽

pp. 12-28 ◽

Author(s):

Arthur Blot ◽

Pierre-Évariste Dagand ◽

Julia Lawall

Download Full-text