How do I write a summation on Coq?


2

425

January 9, 2023

Can the Equations plugin generate a graph that does not reference the original function?


1

457

September 22, 2021

Why Coq cannot compute the equality of two Real number (like R1,1,2,3) directly?


2

681

May 17, 2021

Equations 1.2.4 release


0

468

March 17, 2021

Equations 1.2.2 for Coq 8.11 and Coq 8.12


0

662

June 20, 2020

Equations, Elimination into Type


2

619

March 19, 2019

Equations, funelim and new variables


3

1023

March 19, 2019

Equations 1.2beta2


0

538

March 19, 2019

Trouble in implementing dependently typed lookup in Coq using Equations


2

726

March 7, 2019

Equations and FE


4

734

February 26, 2019
