Skip to content

Tags: data61/PSL

Tags

v0.2.8-alpha

Toggle v0.2.8-alpha's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
Update README.md

v0.2.7-alpha

Toggle v0.2.7-alpha's commit message 
Abduction: bug fixed. add type cleaning and type checking to refutation.

v0.2.6-alpha

Toggle v0.2.6-alpha's commit message

Verified

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 
Update README.md

v0.2.5-alpha

Toggle v0.2.5-alpha's commit message 
Abduction: fix the bug about the size comparison.

v0.2.4-alpha

Toggle v0.2.4-alpha's commit message 
Abduction: Abduction as a part of Smart_Isabelle.

v0.2.3-alpha

Toggle v0.2.3-alpha's commit message

Verified

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 
Update README.md

v0.2.2-alpha

Toggle v0.2.2-alpha's commit message 
Merge branch 'master' of https://github.com/data61/PSL

v0.2.1-alpha

Toggle v0.2.1-alpha's commit message

Verified

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 
Update README.md

v0.2.0-alpha

Toggle v0.2.0-alpha's commit message 
semantic_induct: make the file case-sensitive.

v0.1.9-alpha

Toggle v0.1.9-alpha's commit message

Verified

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 
Update README.md