Skip to content
View daniel-levin's full-sized avatar
50 followers · 47 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report daniel-levin

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Minimathlib Minimathlib Public

    Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.

    Lean 7