LISA is a Proof Assistant based on first order logic, Sequent Calculus and Set Theory. To get started, look at the [Reference Manual](/LISA Reference Manual.pdf).
LISA is a Proof Assistant based on first order logic, Sequent Calculus and Set Theory. To get started, look at the [Reference Manual](/LISA Reference Manual.pdf).