About the Miscellaneous category


1

313

February 12, 2019

Change of default locality for Hint commands in Coq 8.13


13

819

November 24, 2021

Ask For Basic Commands For COQ


15

235

September 8, 2021

Learning Real Analysis and Measure Theory together with Coq


3

222

August 31, 2021

Does proof of coq consistency need axiom of choice?


3

521

February 6, 2020

Confused about hierarchies of functions


0

89

August 9, 2021

Finite types, historical question


2

138

July 7, 2021

Coqclub archive is off?


5

298

July 5, 2021

Coq to Why3: Proof of function correction


1

92

June 21, 2021

Coq to Why3: Proof of aux lemma of function correction


0

59

June 20, 2021

Coq to Why3: with notation


1

97

June 18, 2021

Is there a full documentation of Coq's grammar?


13

989

June 18, 2021

How do regular and exact completions fit into Coq's use of setoids?


4

157

June 7, 2021

Can every theorem that has a proof be completed without DSL tactics?


9

408

January 13, 2021

Visualizing contributions to the Coq implementation and all Coq opam packages


7

198

May 18, 2021

Formalized Divideandconquer for Lists


0

239

April 30, 2021

Nix package for coq theories with dependencies


2

278

March 31, 2021

What does it mean that Isabelle has better automation than Coq?


15

1271

March 25, 2021

Cite Coq Library Materials


0

218

January 16, 2021

"Mainstream" programming systems with a Coqlike development style?


2

263

January 5, 2021

Starting to learn coq


8

321

November 23, 2020

Why are proof assistants used mostly to catch bugs instead of using it to truly proving correctness?


4

389

September 4, 2020

How is Coq (or any Proof Assistants) used to for hardware verification?


1

341

August 31, 2020

Listing and preserving formalized mathematical results in Coq


0

286

August 30, 2020

Proof By Induction On Lists


1

279

August 14, 2020

Coq trusted kernel code size


1

386

August 10, 2020

Are there any declarative proof languages for Coq?


4

567

August 7, 2020

How does one generate a static proof trees of a whole Coq Proof?


2

288

August 6, 2020

Can one translate from one ITP language to another automatically?


5

362

August 6, 2020

What are the arguments of a function that computes the steps of a theorem (assuming the theorem has a proof)?


7

310

August 6, 2020
