Releases: leanprover-community/hopscotch
Releases · leanprover-community/hopscotch
v1.1.0
Full Changelog: v1.0.2...v1.1.0
v1.0.2
Full Changelog: v1.0.1...v1.0.2
v1.0.1
fix: recognise quoted bare names in lakefile.lean require blocks
v1.0.0
hopscotch v1.0.0 - initial version
Release includes ubuntu-built binary