| # SpecTec Documentation | |
| On the use of the language: | |
| * [Overview](Overview.md) | |
| * [Command Usage](Usage.md) | |
| * [Language Reference](Language.md) | |
| * [Splicing](Splicing.md) | |
| * [Latex Backend](Latex.md) | |
| * [Prose Backend](Prose.md) | |
| * [Interpreter Backend](Interpreter.md) | |
| * [Assumptions](Assumptions.md) | |
| On the internal representations usable by backends: | |
| * [External Language](EL.md) (TBD) | |
| * [Internal Language](IL.md) |