|
| Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions |
Library Size: 80G (1 books), Last Updated: Mar 31, 2026, 18:05:21,
Build Time: N/A
|
|
| Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions |