5 citations · 5 across the 1 of their papers we have counts for
1 paper
Andrew T. Walter, Panagiotis Manolios
ACL2 provides a systems programming capability that allows one to write code that uses and extends ACL2 inside of ACL2. However, for soundness reasons, ACL2 bars the unrestricted u…