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


1

116

September 22, 2021

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


2

208

May 17, 2021

Equations 1.2.4 release


0

236

March 17, 2021

Equations 1.2.2 for Coq 8.11 and Coq 8.12


0

338

June 20, 2020

Equations, Elimination into Type


2

383

March 19, 2019

Equations, funelim and new variables


3

592

March 19, 2019

Equations 1.2beta2


0

307

March 19, 2019

Trouble in implementing dependently typed lookup in Coq using Equations


2

473

March 7, 2019

Equations and FE


4

470

February 26, 2019
