skbaek's repositories
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
Language:Prolog000
Language:Lean000
000
Language:Lean000
estp
Elaborated Solutions from Theorem Provers
Language:HaskellMIT000
000
L2010
Parser for converting Logic 2010 formulas into SMT-LIB 2.0 format
Language:Python000
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
Language:Prolog000
MiniGoedel
Smullyan's miniature Gödelian language in Coq
Language:HTML000
tab
Propositional tableaux prover for Lean
Language:Lean000
Language:Prolog000
tptp
Crate for reading TPTP files.
Language:Rust000
txtx
A machine-checkable proof format for first-order ATPs
Language:Prolog000
vamp-elab
Elaborator for Vampire TSTP solutions
Language:Haskell000