tnt (cargo): Simple runtime validated proofs in number theory
Keywords: number-theory|math|logic