This is the fourth 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:
-Update LeanDojo extension panel to support full repo proofs!
-UI update
-Documentation update