ParentFull threadpwdisswordfishq·Theorem provers don't generate proofs. IDEs don't generate software.View on HN