|
How do I write a summation on Coq?
|
|
2
|
664
|
January 9, 2023
|
|
Can the Equations plugin generate a graph that does not reference the original function?
|
|
1
|
551
|
September 22, 2021
|
|
Why Coq cannot compute the equality of two Real number (like R1,1,2,3) directly?
|
|
2
|
918
|
May 17, 2021
|
|
Equations 1.2.4 release
|
|
0
|
561
|
March 17, 2021
|
|
Equations 1.2.2 for Coq 8.11 and Coq 8.12
|
|
0
|
725
|
June 20, 2020
|
|
Equations, Elimination into Type
|
|
2
|
717
|
March 19, 2019
|
|
Equations, funelim and new variables
|
|
3
|
1158
|
March 19, 2019
|
|
Equations 1.2beta2
|
|
0
|
590
|
March 19, 2019
|
|
Trouble in implementing dependently typed lookup in Coq using Equations
|
|
2
|
804
|
March 7, 2019
|
|
Equations and FE
|
|
4
|
958
|
February 26, 2019
|