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