Factory > Showcase > LISA
Name:
LISA
Description:
A Proof Assistant based on first order logic, sequent calculus and set theory.
Professor — Lab:
Viktor Kunčak — Lab for Automated Reasoning and Analysis
Contact:
Simon Guilloud
Project status:
active — entered showcase: 2022-07-05 — entry updated: 2024-04-12
Source code:
Lab GitHub - last commit: 2024-04-08
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Framework, Application
Programming language:
Scala
License:
Apache-2.0