regex
☀️
A-
A+
Filtering...
Clear Filter
observation1-cw
books/system/observation1-cw
other
(
in-package
"ACL2"
)
other
(
verify-termination
observation1-cw
)
other
(
verify-guards
observation1-cw
)