Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
A modular sat/smt solver with proof output.
An OCaml library providing clean and flexible parser for languages used in automated deduction
A small library to output memory graph for ocaml values
Testing and benchmarking tool for logic-related programs.
QuickCheck inspired property-based testing for OCaml.
Seeing something unexpected? Take a look at the
GitHub profile guide.