Monday, June 15, 2026

QED or Game Over? – A gamified introduction to theorem proving in Lean

 


-

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)