From Sets to Bits in Coq.

Arthur Blot, Pierre-variste Dagand, Julia Lawall

Browse the full FLOPS paper archive.