3 ms·
Some code or maths proofs can be self supporting with things like unit tests or proof checkers as an example
by tuckerman 2y ago
Some code or maths proofs can be self supporting with things like unit tests or proof checkers as an example
loading thread…