Skip to content

Releases: fgdorais/lean4-unicode-basic

v1.0.1

02 Sep 16:05
@fgdorais fgdorais
v1.0.1
7f31364
Compare
Choose a tag to compare
v1.0.1 Latest
Latest

What's Changed

  • use lean-action@v1
  • update toolchain v4.11.0

Full Changelog: v1.0.0...v1.0.1

Assets 2
Loading

v1.0.0

10 Aug 00:38
@fgdorais fgdorais
v1.0.0
57c2943
Compare
Choose a tag to compare
v1.0.0 
Release v1.0.0
Assets 2
Loading