Paradoxika

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
34 25 38 1
Updated Aug 31, 2017
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
283 0 0
Updated Mar 26, 2014
Paradoxika/lean’s past year of commit activity

C++ 0 Apache-2.0
228 0 0
Updated Mar 4, 2014