There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Blueprint for Python and/or Lean projects (can be used for either) including setup guides, dotfiles, and a set of tools and utilities in Python and Lean.
