from Hacker News

Video tutorials for the Coq proof assistant

by curling_grad on 7/26/23, 4:07 AM with 0 comments