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
