Cogito
Advanced features
Mutual recursion
Lisp source code
ACL2 summary
Raw ACL2 output
Structs
Lisp source code
ACL2 summary
Raw ACL2 output
Higher order builtins
Lisp source code
ACL2 summary
Raw ACL2 output
Switch expressions
Lisp source code
ACL2 summary
Raw ACL2 output
Imports
Lisp source code
ACL2 summary
Raw ACL2 output