Michael Greenberg, Joseph C. Osborn, and the Logic Foundations Authors

Version 0.3 (2022-01-14 16:12, Coq 8.12 or later)