Commit 84a2172

authored and

committed

add man page

1 parent 80ce107 commit 84a2172Copy full SHA for 84a2172

1 file changed

+26

-0

lines changed

man
- proof_info.Rd

1 file changed

+26

-0

lines changed

`‎man/proof_info.Rd`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)