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