Visitar URL original
Tags · data61/PSL · GitHub
Skip to content

Tags: data61/PSL

Tags

heinzelmen-2025-2.1

Toggle heinzelmen-2025-2.1's commit message 
contract for Heinzelmen

conf_submission

Toggle conf_submission's commit message 
Version submitted to a certain conference

v0.3.0-alpha

Toggle v0.3.0-alpha's commit message 
update for Isabelle2025.

v0.2.9-alpha

Toggle v0.2.9-alpha's commit message 
add comments in some example files.

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
Verified
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
Verified
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
Verified
Learn about vigilant mode 
Update README.md