Skip to content

Releases: naveensundarg/prover

november-22-2019

23 Nov 06:40
@naveensundarg naveensundarg
november-22-2019
e126c90
Compare
Choose a tag to compare
november-22-2019 Latest
Latest 
fix tests, other cleanup
Assets 2
Loading

Virtue Ethics Simulation

19 Jan 10:38
@naveensundarg naveensundarg
ves
1cc0a7a
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Virtue Ethics Simulation Pre-release
Pre-release

Please look at VirtueLearning.java in com.naveensundarg.shadow.prover.examples.

screen shot 2018-06-19 at 9 42 53 pm

Assets 2
Loading

ShadowProver

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

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