Closed nsinghal12 closed 4 years ago
This PR completes issue #3 by adding hooks documentation available on various objects within the proof system.
proof
:rocket: PR was released in v0.1.6 :rocket:
v0.1.6
This PR completes issue #3 by adding hooks documentation available on various objects within the
proof
system.