3 skills found
ptarau / TypesAndProofsType inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
yakuza8 / First Order Predicate Logic Theorem ProverAutonomous Theorem Prover for First Order Predicate Logic
alescode / LimbooleCheck satisfiability and tautology on arbitrary logical formulas