Hacker News new | ask | show | jobs
Abella: A System for Reasoning about Relational Specifications (2014) (jfr.unibo.it)
1 points by jnash 1362 days ago