Small corrections to Lisa manual

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Small corrections to Lisa manual #213

Closed shilangyu closed 7 months ago

shilangyu commented 7 months ago

Noticed while reading the manual.

Also, I noticed the pdf is pushed to the repo which can get out of sync with the source (or the PDF can be just incorrectly generated by someone, for instance in the previous PDF bibtex was not generated correctly). I can contribute generation of it on the CI if it would be valuable.

SimonGuilloud commented 7 months ago

If you would like to do regeneration on the CI, that would be welcome :)