Related stories

• The Ruby Type Checkercs.umd.edu
  Lobsters · 7 points · over 12 years ago
• Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 daysdev.to
  DEV Community · 0 points · 3 days ago
• Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
  Lobsters · 8 points · about 9 years ago
• Type Safe Printf via Type Providers (F#)blog.mavnn.co.uk
  Lobsters · 7 points · over 12 years ago
• A Lean Proof Printing Python Union Findphilipzucker.com
  Hacker News · 1 points · 5 days ago
• Lean Golf – Code golf but you're proving theorems in Leanlean.golf
  Hacker News · 1 points · 5 days ago