A library for manipulating with proofs that use inference rules
Primary LanguageJavaApache License 2.0Apache-2.0
No one’s star this repository yet.