Skip to content

Releases: fgdorais/lean4-unicode-basic

v1.0.1

02 Sep 16:05
@fgdorais fgdorais
v1.0.1
7f31364

Choose a tag to compare

View all tags
v1.0.1

What's Changed

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

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

Loading

v1.0.0

10 Aug 00:38
@fgdorais fgdorais
v1.0.0
57c2943

Choose a tag to compare

View all tags
v1.0.0 
Release v1.0.0
Loading