| Util |
Useful functions
|
| Hashweak |
Hashtable with weak key used for memoization
|
| Ident |
Identifiers
|
| Ty |
Types
|
| Term |
Terms and Formulas
|
| Decl |
Logic Declarations
|
| Theory |
Theories and Namespaces
|
| Env |
Local type aliases and exceptions
|
| Task |
Proof Tasks, Cloning and Meta History
|
| Whyconf |
Managing the configuration of Why3
|
| Driver |
Managing the drivers for external provers
|
| Rc |
Rc file management
|
| Session |
Proof sessions
|
| Session_tools |
This module contains generic tools which can be applied on sessions
|
| Session_scheduler |
Proof sessions
|