Skip to content
This repository was archived by the owner on Oct 25, 2023. It is now read-only.

Tags: leanprover/lake

Tags

v4.1.0-merge

Toggle v4.1.0-merge's commit message 
doc: fix up facet module docs

v4.0.0

Toggle v4.0.0's commit message 
release: 4.0.0

v3.2.2

Toggle v3.2.2's commit message 
release: 3.2.2

v3.2.1

Toggle v3.2.1's commit message 
release: 3.2.1

v3.2.0

Toggle v3.2.0's commit message 
release: 3.2.0

v3.1.1

Toggle v3.1.1's commit message 
release: 3.1.1

v3.1.0

Toggle v3.1.0's commit message 
release: 3.1.0

v3.0.1

Toggle v3.0.1's commit message 
release: 3.0.1

v3.0.0

Toggle v3.0.0's commit message 
release: 3.0.0

v3.0.0-m1

Toggle v3.0.0-m1's commit message 
First release of Lake packaged with a Lean 4 nightly