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