Skip to content

0.0.2

Choose a tag to compare

View all tags
@lemcoder lemcoder released this 14 Nov 22:01
· 2 commits to main since this release
0.0.2
c58c3b0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Added

  • Counterexamples
  • Pretty print results
  • Reduced executable size
Assets 3
Loading