Paradoxika/ModalLogic
Automated Reasoning for Modal Logics
Developer Profile
Paradoxika
Discovered public repositories for Paradoxika in the GitHub catalog.
Paradoxika/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Paradoxika/lean
Lean Theorem Prover
Paradoxika/Talks
Slides of talks
Paradoxika/Papers
Research papers on logic
Paradoxika/Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.