13 citations · 18 across the 6 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…