from Hacker News

Sisyphus – Mostly Automated Proof Repair for Verified Libraries

by gopiandcode on 7/24/23, 3:57 AM with 0 comments