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

 (sdiehl.github.io)

2 points | by rwosync 8 hours ago

0 comments