Skip to content

v0.0.3

Choose a tag to compare

View all tags
@danielknell danielknell released this 19 Jun 21:21
v0.0.3
5a7d57e
This commit was signed with the committer’s verified signature.
danielknell Daniel Knell
GPG key ID: B82044B90725CD10
Verified
Learn about vigilant mode.

Features

  • lots of conjectures
  • conjecture implementation
Assets 2
Loading