Skip to content

ShadowProver
Compare
Choose a tag to compare
@naveensundarg naveensundarg released this 08 Oct 17:12
· 104 commits to master since this release
v1.0
d6ba307 
Merge branch 'master' of https://github.com/naveensundarg/prover

# Conflicts:
#	src/main/java/com/naveensundarg/shadow/prover/core/proof/AtomicJustification.java
Assets 2
Loading