tnt 0.2.0

Simple runtime validated proofs in number theory
Documentation