Volume 0
Discrete Math in Coq (alpha)
Michael Greenberg and the Logic Foundations Authors
Read
Download
Version 0.2 (16 Oct 2020, Coq 8.9.1)
