tnt 1.0.0

Simple runtime validated proofs in number theory
Documentation