Skip to main content
buildradar
Sign in
Owner · lecopivo

lecopivo

lecopivo's tracked open-source repos, sorted by stars.

1 repos
  • SciLean↗@lecopivo

    Scientific computing in Lean 4

    ★ 527+1Star change over the last 7 days
← Back to owner ranking