P proofassistants.stackexchange.com Can the language of proof assistants be used for general purpose programming? 96 points wslh 3 years ago 50 comments
