Skip to content
View mortarsanjaya's full-sized avatar
9 followers · 7 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report mortarsanjaya

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. IMOSLLean4 IMOSLLean4 Public

    Formalization of IMO shortlist problems in Lean 4

    Lean 14 2

  2. imo-A-and-N imo-A-and-N Public archive

    IMO SL Formalization

    Lean 3

  3. CoinWeight CoinWeight Public

    C++ 1

  4. indonesian-mo-formalization indonesian-mo-formalization Public

    Forked from Faris999/indonesian-mo-formalization

    Formalization of Indonesian Mathematical Olympiad problems using Lean / Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean

    Lean

  5. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    Lean mathematical components library

    Lean