Modules§
- args
- context
- database
- deletion_
sequence - elaborator
- error
- misc_
tokens - occurrence_
list - order
- order_
context - parser
- prelude
- proofgoal
- rules
- subproof_
context - utils
- This file contains useful helper functions that can be used in multiple places for the checker.
- verifier