Comment the code! - Githubissues

Ayertienna / IS5

Intuitionistic S5 logic formalization

4 stars 0 forks source link

Closed Ayertienna closed 11 years ago

Ayertienna commented 12 years ago

All of the code currently in repo requires more comments (sketches of proofs, possibly)

Again, 2 parts (for now)

Then: language equivalence, normalization, etc

Ayertienna commented 12 years ago

more or less 1/2 way done

Ayertienna commented 11 years ago

Needs re-doing after all the changes, if time allows