7 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose…