Skip to content

Releases: digama0/lean-type-theory

v1.0

17 Apr 02:43
Compare
Choose a tag to compare

MS Thesis version

v0.21

18 Mar 13:06
Compare
Choose a tag to compare
v0.21 Pre-release
Pre-release
minor changes

v0.2

17 Mar 11:43
Compare
Choose a tag to compare
v0.2 Pre-release
Pre-release
Gabriel's suggestions

v0.1

17 Mar 04:29
Compare
Choose a tag to compare
v0.1 Pre-release
Pre-release
v0.1