Next.js Hacker News
Practical Formal Verification for MLIR Programs
2 points by matt_d 19 hours ago | discuss