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
