search

epfl-lara / lisa

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

General grammatical updates for reference manual #43

Closed sankalpgambhir closed 2 years ago

sankalpgambhir commented 2 years ago

Minor grammatical mistakes and style inconsistencies corrected in the LISA reference manual.

vkuncak commented 2 years ago

All changes seem fine, but the sentence that talks about conservative extension with axioms schmeas should be made even clearer. I tried to see if the change is good, but I realized that I find it difficult to understand both the original and the modified sentence. Maybe @SimonGuilloud and @sankalpgambhir can sit down and write a possibly longer but very easy to read statement.