Skip to content
@fierce-nerds

fierce-nerds

Popular repositories Loading

  1. CodeActions.lean CodeActions.lean Public

    Lean

  2. Util.lean Util.lean Public

    Lean

Repositories

Showing 2 of 2 repositories
  • Util.lean Public
    fierce-nerds/Util.lean’s past year of commit activity
    Lean 0 MIT 0 0 0 Updated Jan 12, 2024
  • CodeActions.lean Public
    fierce-nerds/CodeActions.lean’s past year of commit activity
    Lean 0 MIT 0 0 0 Updated Jan 5, 2024

Top languages

Loading…

Most used topics

Loading…