Hacker News new | ask | show | jobs
by tuckerman 505 days ago
Some code or maths proofs can be self supporting with things like unit tests or proof checkers as an example