Skip to content
View gihanmarasingha's full-sized avatar
16 followers · 7 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report gihanmarasingha

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. miu_language miu_language Public

    A decision procedure for the formal system MIU, written in Lean 3.18.4

    Lean 8

  2. mth1001_tutorial mth1001_tutorial Public

    Lean 4

  3. exleanblog exleanblog Public

    Lean 4

  4. mth1001_sphinx mth1001_sphinx Public

    Online Lean-based lecture notes for the University of Exeter module MTH1001, Mathematical Structures

    HTML 3

  5. mth1001_summer_2021 mth1001_summer_2021 Public

    Lean 1 2

  6. modern-maths-pages modern-maths-pages Public

    Online mathematics textbook in Lean

    CSS 1