Are there any provable real-world languages?stackoverflow.com2 points·Sandman··0 commentsOpen articleSaveView on HN