chore: move lean-toolchain to fixed versions - Githubissues

leanprover-community / lean4-samples

Code samples for Lean 4

Apache License 2.0

67 stars 22 forks source link

chore: move lean-toolchain to fixed versions #26

Closed semorrison closed 9 months ago

semorrison commented 9 months ago

This still does not touch RubiksCube, where the lakefile needs updating.