Release v0.1.2 · stanford-oval/node-cvc4 · GitHub

v0.1.2
e584781
Verified

This tag was signed with the committer’s verified signature.

gcampax Giovanni Campagna

GPG key ID: D163417D3BD0E762

Verified
Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v0.1.2

v0.1.2
e584781
Choose a tag to compare

Filter

View all tags
Verified

This tag was signed with the committer’s verified signature.

gcampax Giovanni Campagna

GPG key ID: D163417D3BD0E762

Verified
Learn about vigilant mode

gcampax tagged this 13 Apr 01:40

v0.1.2

Assets 2