From Zero to QED: An informal introduction to formality with Lean 4

 (sdiehl.github.io)

2 points | by rwosync 10 hours ago ago

No comments yet.