from Hacker News

Abella: A System for Reasoning about Relational Specifications (2014)

by jnash on 9/30/22, 3:51 AM with 0 comments