Releases: TheoWinterhalter/phd-thesis
Releases · TheoWinterhalter/phd-thesis
beta4
Improve chap 3 (Pierre)
beta3
Remove n't contractions
beta2
More remarks on proof-theory from Pierre
Status on 6 May
This is still work in progress.
Improve chap 3 (Pierre)
Remove n't contractions
More remarks on proof-theory from Pierre
This is still work in progress.