Fix typos#400

Merged

rzach merged 5 commits intoOpenLogicProject:masterfrom

yiannis-had:patch-1

Sep 1, 2025

Commits on Aug 18, 2025

Update systems-distinct.tex
yiannis-had
authored

Commits on Aug 20, 2025

i think this should be checked too since it's been applied (step 8 & 9)
yiannis-had
authored

Commits on Aug 21, 2025

correction on which proof line used
yiannis-had
authored

Commits on Aug 25, 2025

minor typo corrections again
yiannis-had
authored

Commits on Aug 27, 2025

Fix parentheses issues in more-proofs-in-K.tex
yiannis-had
authored