6 projects
isabelle-client
A client to Isabelle proof assistant server
gym-saturation
Gymnasium environments for saturation provers
yapsap
Yet Another Python SAturation Prover
tptp-lark-parser
A TPTP parser using Lark
residuated-binars
Package for generating and validating examples of different algebraic structures using Isabelle proof assistant
neural-semigroups
Neural networks powered research of semigroups
