Skip to content

v0.3.0
Compare
Choose a tag to compare
@melvic-ybanez melvic-ybanez released this 26 Oct 21:39
· 69 commits to main since this release
v0.3.0
f18954d

This release removes the need for Skolem suffixes and replaces them with entailment-wide standardization and skolemization. #31 explains it in details, including how it solves the issue on name clashes with generated Skolem functions.

Full Changelog: v0.2.1...v0.3.0

Assets 3
Loading