First alpha release.
Content features:
- First-order logic, sequent calculus, soundness and completeness
- Recursive functions, computability theory
- Incompleteness
- Sets, relations, functions
Technical features:
- Modular source code with inclusion and reference system
- Tag system for selective processing
- Token system for global replacement of terms
- Config files for controlling typesetting
- Deferred problem sections