Skip to content

Releases: digama0/lean-type-theory

v1.0

17 Apr 02:43
@digama0 digama0
v1.0
8741ba5

Choose a tag to compare

View all tags
v1.0 Latest
Latest

MS Thesis version

Assets 4
Loading

v0.21

18 Mar 13:06
@digama0 digama0
v0.21
550db2d

Choose a tag to compare

View all tags
v0.21 Pre-release
Pre-release 
minor changes
Loading

v0.2

17 Mar 11:43
@digama0 digama0
v0.2
db8e098

Choose a tag to compare

View all tags
v0.2 Pre-release
Pre-release 
Gabriel's suggestions
Loading

v0.1

17 Mar 04:29
@digama0 digama0
v0.1
50a9fd3

Choose a tag to compare

View all tags
v0.1 Pre-release
Pre-release 
v0.1
Loading