We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A try to implement the completeness theorem of classical propositional logic
Coq 2
The Logic of Spacetime in Coq
There was an error while loading. Please reload this page.
An implementatino of λ2 system, with some simple properties
Every Hilbert-style proof has a Natural couterpart, and vice versa.
Uniform Interpolation for some Substructural Logics (work in progress)
Re-inventing finite sets (because (learning) ssreflect is overkill)
Propositional Calculus in Coq by Floris van Doorn
A https://git8.cs.fau.de/software/ruitenburg1984/ fork
Loading…
