Commit graph

2 commits

Author SHA1 Message Date
df571e45b0 fix link to proof.rs in man.md 2023-04-30 12:01:47 -04:00
916a8b9fed init 2023-04-30 11:55:41 -04:00