regex
☀️
A-
A+
Filtering...
Clear Filter
witness-cp
books/centaur/misc/witness-cp
Included Books
witness-cp
other
(
in-package
"ACL2"
)
include-book
(
include-book
"clause-processors/witness-cp"
:dir
:system
)