I Bless Thy Debugger My Child
elan - package manager for Lean
Lake - the standard project structure and build system used in Lean
Post a Comment
No comments:
Post a Comment