52 citations · 71 across the 2 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…