coq-equations
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| How do I write a summation on Coq? |
|
2 | 710 | January 9, 2023 |
| Can the Equations plugin generate a graph that does not reference the original function? |
|
1 | 581 | September 22, 2021 |
| Why Coq cannot compute the equality of two Real number (like R1,1,2,3) directly? |
|
2 | 951 | May 17, 2021 |
| Equations 1.2.4 release |
|
0 | 577 | March 17, 2021 |
| Equations 1.2.2 for Coq 8.11 and Coq 8.12 |
|
0 | 739 | June 20, 2020 |
| Equations, Elimination into Type |
|
2 | 744 | March 19, 2019 |
| Equations, funelim and new variables |
|
3 | 1211 | March 19, 2019 |
| Equations 1.2beta2 |
|
0 | 600 | March 19, 2019 |
| Trouble in implementing dependently typed lookup in Coq using Equations |
|
2 | 835 | March 7, 2019 |
| Equations and FE |
|
4 | 1076 | February 26, 2019 |