Skip to content

Tags: Deducteam/lambdapi-stdlib

Tags

1.3.1

Toggle 1.3.1's commit message 
update CHANGES

1.3.0

Toggle 1.3.0'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 
simplify requires (now recursive) (#46)

1.2.0

Toggle 1.2.0's commit message 
ci: check lambdapi 2.6.0

1.1.0

Toggle 1.1.0'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 
add classical logic (#14)

1.0.0

Toggle 1.0.0'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 
fix library name and repo (#11)

0.0.0

Toggle 0.0.0's commit message 
add license file