Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com) 4 points by yamafaktory 3mo ago ↗ HN
[–] sjdv1982 3mo ago ↗ I was initially very excited about this, but looking at the code: https://github.com/yamafaktory/formal/blob/4f95787ceeabb0f09...To extract properties to verify... you call Claude??
2 comments
[ 2.8 ms ] story [ 14.7 ms ] threadTo extract properties to verify... you call Claude??