Skip to content

@Paradoxika Paradoxika

Change the repository type filter

All

    Repositories list

    7 repositories

    • Papers

      Public
      Research papers on logic
      TeX
      •4•9•0•0•Updated Nov 12, 2020Nov 12, 2020

    • Talks

      Public
      Slides of talks
      TeX
      •0•1•0•0•Updated Jul 13, 2018Jul 13, 2018

    • Skeptik

      Public
      A library for Proof Theory (especially Proof Compression) in Scala.
      SMT
      •25•33•38•1•Updated Aug 31, 2017Aug 31, 2017

    • ProbLogic

      Public
      Probabilistic Logic
      Coq
      •0•3•0•0•Updated Mar 24, 2016Mar 24, 2016

    • ModalLogic

      Public
      Automated Reasoning for Modal Logics
      Coq
      •1•5•0•0•Updated Jun 9, 2014Jun 9, 2014

    • CVC4

      Public
      CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
      C++
      •
      Other
      •234•0•0•0•Updated Mar 26, 2014Mar 26, 2014

    • lean

      Public
      Lean Theorem Prover
      C++
      •
      Apache License 2.0
      •217•0•0•0•Updated Mar 4, 2014Mar 4, 2014