2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Gopalan Nadathur, Yuting Wang
The Abella interactive theorem prover has proven to be an effective vehicle for reasoning about relational specifications. However, the system has a limitation that arises from the…