Joined 2/11/2022, 3:02:31 AM has 90 karma
Abella: A System for Reasoning about Relational Specifications (2014)