LISA
A Proof Assistant based on first order logic, sequent calculus and set theory.
Code AnalysisDevelopment
- Technical
- Source code: Lab GitHub
- Last commit: 2025-09-09
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.