Scallion
A library for writing parsers and pretty printers for LL(1) languages in Scala.
Development
- Technical
- Research papers
- Source code: Lab GitHub
- Last commit: 2025-09-02
Lab for Automated Reasoning and Analysis
Lab for Automated Reasoning and Analysis
We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques is to help construction of verified computer systems.
This page was last edited on 2024-04-12.
This page was last edited on 2024-04-12.