Can the Equations plugin generate a graph that does not reference the original function?
|
|
1
|
190
|
September 22, 2021
|
Why Coq cannot compute the equality of two Real number (like R1,1,2,3) directly?
|
|
2
|
283
|
May 17, 2021
|
Equations 1.2.4 release
|
|
0
|
298
|
March 17, 2021
|
Equations 1.2.2 for Coq 8.11 and Coq 8.12
|
|
0
|
398
|
June 20, 2020
|
Equations, Elimination into Type
|
|
2
|
427
|
March 19, 2019
|
Equations, funelim and new variables
|
|
3
|
684
|
March 19, 2019
|
Equations 1.2beta2
|
|
0
|
350
|
March 19, 2019
|
Trouble in implementing dependently typed lookup in Coq using Equations
|
|
2
|
534
|
March 7, 2019
|
Equations and FE
|
|
4
|
523
|
February 26, 2019
|