tnt 0.4.1

Simple runtime validated proofs in number theory
Documentation