Skip to content
@Paradoxika

Paradoxika

Popular repositories Loading

  1. Skeptik Skeptik Public

    A library for Proof Theory (especially Proof Compression) in Scala.

    SMT 33 25

  2. Papers Papers Public

    Research papers on logic

    TeX 9 4

  3. ModalLogic ModalLogic Public

    Automated Reasoning for Modal Logics

    Coq 5 1

  4. ProbLogic ProbLogic Public

    Probabilistic Logic

    Coq 3

  5. Talks Talks Public

    Slides of talks

    TeX 1

  6. lean lean Public

    Forked from leanprover/lean3

    Lean Theorem Prover

    C++

Repositories

Showing 7 of 7 repositories
  • Papers Public

    Research papers on logic

    Paradoxika/Papers’s past year of commit activity
    TeX 9 4 0 0 Updated Nov 12, 2020
  • Talks Public

    Slides of talks

    Paradoxika/Talks’s past year of commit activity
    TeX 1 0 0 0 Updated Jul 13, 2018
  • Skeptik Public

    A library for Proof Theory (especially Proof Compression) in Scala.

    Paradoxika/Skeptik’s past year of commit activity
    SMT 33 25 38 1 Updated Aug 31, 2017
  • ProbLogic Public

    Probabilistic Logic

    Paradoxika/ProbLogic’s past year of commit activity
    Coq 3 0 0 0 Updated Mar 24, 2016
  • ModalLogic Public

    Automated Reasoning for Modal Logics

    Paradoxika/ModalLogic’s past year of commit activity
    Coq 5 1 0 0 Updated Jun 9, 2014
  • CVC4 Public Forked from cvc5/cvc5

    CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    Paradoxika/CVC4’s past year of commit activity
    C++ 0 238 0 0 Updated Mar 26, 2014
  • lean Public Forked from leanprover/lean3

    Lean Theorem Prover

    Paradoxika/lean’s past year of commit activity
    C++ 0 Apache-2.0 220 0 0 Updated Mar 4, 2014

Top languages

Loading…

Most used topics

Loading…