polyglotfacto 200 karma 5y 10m on HN HN profile →
Coverage
We've seen 1 of ~62 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. Lean and AI caught a bug in my 2-year-old TLA+ spec (medium.com)
1 points by polyglotfacto 1 hours ago | 1 comments | skipped