Can the language of proof assistants be used for general purpose programming?(proofassistants.stackexchange.com)74 points by wslh 3 years ago | 44 comments
