Proof-based general-purpose computing with Magnetarmicrosoft.com2 points·khalidkhair··0 commentsOpen articleSaveView on HN