skbaek

Pinned Repositories

agda-stdlib
The Agda standard library
Language:Agda01
anvil
Language:Prolog00
clausify
Language:Lean00
cnf-bench
00
cooper
Language:Lean01
cvx
Language:Lean3 3 02
estp
Elaborated Solutions from Theorem Provers
Language:Haskell00
Ethics
I.I-XI of Spinoza's Ethics, formalized in Coq
Language:HTML18 4 02
omega
Language:Lean10
tesc
TESC proof format for first-order ATPs
Language:Prolog70

skbaek's Repositories

skbaek/Ethics
I.I-XI of Spinoza's Ethics, formalized in Coq
Language:HTML18 4 02
skbaek/tesc
TESC proof format for first-order ATPs
Language:Prolog70
skbaek/cvx
Language:Lean3 3 02
skbaek/omega
Language:Lean10
skbaek/agda-stdlib
The Agda standard library
Language:Agda01
skbaek/anvil
Language:Prolog00
skbaek/clausify
Language:Lean00
skbaek/cnf-bench
00
skbaek/cooper
Language:Lean01
skbaek/estp
Elaborated Solutions from Theorem Provers
Language:Haskell00
skbaek/frat-bench
skbaek/L2010
Parser for converting Logic 2010 formulas into SMT-LIB 2.0 format
Language:Python
skbaek/mathlib
Lean mathematical components library
Language:Lean
skbaek/metacop
Language:Prolog
skbaek/MiniGoedel
Smullyan's miniature Gödelian language in Coq
Language:HTML
skbaek/strassen
Language:Lean2 0
skbaek/tab
Propositional tableaux prover for Lean
Language:Lean1 0
skbaek/tacas
Language:Prolog2 0
skbaek/tesc-lib
2 0
skbaek/tptp
Crate for reading TPTP files.
Language:Rust
skbaek/txtx
A machine-checkable proof format for first-order ATPs
Language:Prolog
skbaek/vamp-elab
Elaborator for Vampire TSTP solutions
Language:Haskell