kdrag.parsers

Parsers for microlean, smt, tptp, sexp, etc

Modules

microlean	A parser for a simple logical expression language using Lark.
sexp
smtlib	SMT-LIB is a format for Satisfiability Modulo Theories (SMT) solvers.
tptp	TPTP is a format for automated theorem provers.
trs