tnt 0.1.0

Simple runtime validated proofs in number theory
Documentation