Project
Template for blueprint-driven formalization projects in Lean.
of 18 versions of Project
1-18Sort by
Date
6a17683
371c4e3
v4.21.0-rc3v4.21.0-rc3ffcdbd4
v4.21.0-rc2v4.21.0-rc2164a80b
v4.21.0-rc1v4.21.0-rc1c19fda9
v4.20.1v4.20.1f02768e
v4.20.1-rc1v4.20.1-rc187a4e38
68a8bae
v4.19.0v4.19.0337501c
v4.19.0-rc3v4.19.0-rc3cef518b
v4.19.0-rc2v4.19.0-rc21aed51d
34961fb
e114760
e5ee146
f1f861a
536a3ca
6d2ac59
v4.14.0-rc2v4.14.0-rc2ea3aed0
v4.13.0v4.13.0