alt
Hacker News
thomasahle
•
today at 9:27 AM
•
0 replies
•
view on HN
Has anyone started proving their sandboxes in Lean (or Coq, etc.)?
alt Hacker News