From Zero to QED: An informal introduction to formality with Lean 4sdiehl.github.io145 ポイント·投稿者 rwosync·7 か月前·21 コメント