new | ask | show | jobs
Show HN: Formal Verification with Lean
3 points by lowdanie 8 hours ago | 1 comments
aayushkumar121 7 hours ago  [ - ]

[dead]