I Bless Thy Debugger My Child
elan - package manager for Lean. elan can be used inside VS code and will manage all versions of Lean on your system
Lake - the standard project structure and build system used in Lean
Post a Comment
No comments:
Post a Comment