Skip to content

Releases: HanielB/cvc5

latest

23 Mar 16:49
@github-actions github-actions
latest
6261f32
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
latest

Latest builds

Assets 23
Loading

leanPrinter v0.0.4

10 Mar 15:10
@HanielB HanielB
leanPrinter-v0.0.4
f9e30de
Compare
Choose a tag to compare
leanPrinter v0.0.4 Latest
Latest

A limited version of the Lean printer for cvc5 proofs.

Assets 3
Loading

leanPrinter v.0.0.3

17 Jan 15:40
@HanielB HanielB
leanPrinter-v0.0.3
9375856
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
leanPrinter v.0.0.3

A limited version of the Lean printer for cvc5 proofs.

Assets 3
Loading

leanPrinter v.0.0.2

18 Nov 15:41
@HanielB HanielB
leanPrinter-v0.0.2
02f20ad
Compare
Choose a tag to compare
leanPrinter v.0.0.2

A limited version of the Lean printer for cvc5 proofs.

Assets 3
Loading

leanPrinter v0.0.1

08 Nov 21:15
@HanielB HanielB
leanPrinter-v0.0.1
cacfb32
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
leanPrinter v0.0.1

A limited version of the Lean printer for cvc5 proofs.

Assets 3
Loading