Skip to content

Lean4Code Official Release #3

Choose a tag to compare

View all tags
@wadkisson wadkisson released this 28 Nov 02:19
· 16 commits to main since this release
v1.2.0
8b3a814

This is the third official, production ready release of Lean4Code for Mac Silicon, and Windows! Please report any issues you have to the issues tab or send an email to adkisson@wustl.edu!

Release notes:
-Migrate all internal tools to LeanDojo-v2
-Bug Fixes

We're again really excited about this update. Let us know any feedback you have by reaching out to adkisson@wustl.edu. Thanks!

Assets 4
Loading