GitHub - gebner/resolution.lean: Resolution prover in lean. This project has now moved to https://github.com/leanprover/library

Name		Name	Last commit message	Last commit date
Latest commit History 89 Commits
.gitignore		.gitignore
.project		.project
cdcl.lean		cdcl.lean
cdcl_solver.lean		cdcl_solver.lean
clause.lean		clause.lean
clause_ops.lean		clause_ops.lean
clausifier.lean		clausifier.lean
equality.lean		equality.lean
examples.lean		examples.lean
factoring.lean		factoring.lean
inhabited.lean		inhabited.lean
lpo.lean		lpo.lean
misc_preprocessing.lean		misc_preprocessing.lean
prover.lean		prover.lean
prover_state.lean		prover_state.lean
resolution.lean		resolution.lean
selection.lean		selection.lean
splitting.lean		splitting.lean
subsumption.lean		subsumption.lean
superposition.lean		superposition.lean
utils.lean		utils.lean