- Berlin, Germany
Pinned Loading
-
algebraic-theorem-proving
algebraic-theorem-proving PublicAlgebraic techniques for theorem proving in non-classical (many-valued & modal) logics
Isabelle
-
universal-logical-reasoning
universal-logical-reasoning PublicIsabelle/HOL sources for a tutorial on universal logical reasoning
Isabelle 1
-
-
topological-semantics
topological-semantics PublicSSE for non-classical logics drawing on topological semantics
Isabelle
-
-
aureleeNet/formalizations
aureleeNet/formalizations PublicThis repository collects project-relevant Isabelle/HOL formalizations.
Isabelle 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.