search

epfl-lara / lisa

Proof assistant based on first-order logic and set theory
Apache License 2.0
33 stars 18 forks source link

Reference Manual Update #176

Closed SimonGuilloud closed 1 year ago

SimonGuilloud commented 1 year ago

Still draft, updating the manual to current LISA status (and some scaladoc if I see something to correct)

SimonGuilloud commented 1 year ago

99% changes are on the manual. The first chapter (Kernel) has been reviewed and largely rewritten. General updates to the presentation and organisation.

Remaining changes are two small changes to Kernel files I spotted and making the lisa-examples subproject compile again (it was not after renaming of some substitution tactics.