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