Meta Stack Exchange
to customize your list.
more stack exchange communities
Has anyone accidentally "proven" a false theorem using what was later found to be a critical bug?
asked Jul 23, 2022 at 11:04
Use results proven in a library (Coq)
asked May 19, 2017 at 17:48
Change behaviour of command depending on the presence of a symbol in the input or on the width of the input
asked Oct 20, 2016 at 19:13
How bad is Coq proving both $T$ and $\lnot T$?
How do I turn off the aggressive auto-indent in Proof General/Coq
Coq seemingly refuses to recognize a simple substitution of a propositional formula for a propositional variable?
Difference between parameters and members of a class
Naming conventions (letter case, underscores, &c) for Coq
Axiomization of Peano arithmetic in constructive first-order logic
Building non-classical logics in Agda & Coq
To what extent is formalized mathematics publishable?
Why does my previously defined function expands/computes to itself?