9 citations · 43 across the 13 of their papers we have counts for
1 paper · 1 filter
Alessandro Coglio
SOFT ('Second-Order Functions and Theorems') is a tool to mimic second-order functions and theorems in the first-order logic of ACL2. Second-order functions are mimicked by first-o…