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

884

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
