from Hacker News

Experience with semi-formal proofs [video]

by wwilson on 3/5/25, 2:53 PM with 0 comments