LOGICAFFEINE Documentation
Redirecting to
logicaffeine_language
...
All Crates
logicaffeine_language
- Core language
logicaffeine_compile
- Compiler
logicaffeine_kernel
- Runtime kernel
logicaffeine_proof
- Proof assistant
logicaffeine_lexicon
- Lexicon
logicaffeine_base
- Base types
logicaffeine_data
- Data structures
logicaffeine_system
- System layer
logicaffeine_cli
- CLI (largo)
logicaffeine_web
- Web frontend