tnt 0.4.0

Simple runtime validated proofs in number theory
Documentation