Theorem proving VS testing (with a simple example)github.com1 point·LightMachine··0 commentsOpen articleSaveView on HN