coq-equations
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Equations 1.2.2 for Coq 8.11 and Coq 8.12 |
|
1 | 88 | June 20, 2020 |
| Equations, Elimination into Type |
|
3 | 202 | March 19, 2019 |
| Equations, funelim and new variables |
|
4 | 266 | March 19, 2019 |
| Equations 1.2beta2 |
|
1 | 135 | March 19, 2019 |
| Trouble in implementing dependently typed lookup in Coq using Equations |
|
3 | 262 | March 7, 2019 |
| Equations and FE |
|
5 | 274 | February 26, 2019 |