52 citations · 94 across the 5 of their papers we have counts for
1 paper · 1 filter
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our primary motivation for developing the data definition f…