Skip to content

GitLab

Explore

Sign in

L

lisa

Project information

Proof assistant based on first-order logic and set theory

229 Commits
1 Branch
0 Tags

README
LICENSE
CHANGELOG

Created on

July 03, 2023

Copy SSH clone URLgit@gitlab.epfl.ch:lara/lisa.git
Copy HTTPS clone URLhttps://gitlab.epfl.ch/lara/lisa.git