Skip to content

Abduction Prover

Pre-release
Pre-release
Compare
Choose a tag to compare
@yutakang yutakang released this 27 Aug 14:13
· 49 commits to master since this release

The first release of Abduction Prover for Isabelle 2022.