faq
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Why is Coq consistent? What is the intended semantics? | 21 | 3419 | September 27, 2019 | |
Suggested Answers | 1 | 999 | July 7, 2020 | |
Does flambda slow down Coq? | 8 | 1238 | October 28, 2019 | |
Safe mode checking nothing was admitted? | 4 | 756 | June 16, 2019 | |
How to represent mathematical structures in Coq? | 7 | 2726 | March 9, 2019 |