Skip to content
View ericluap's full-sized avatar
21 followers · 22 following

Achievements

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

Achievements

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

Highlights

  • Pro

Block or report ericluap

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. OrderedSemigroups OrderedSemigroups Public

    Formalization of Holder's Theorem for Ordered Semigroups and Groups

    Lean 1 3

  2. IntroEffects IntroEffects Public

    A implementation of the language in "An Introduction to Algebraic Effects and Handlers" by Pretnar

    Lean

  3. Lean4Less Lean4Less Public

    Forked from Deducteam/Lean4Less

    A translation framework for eliminating definitional equalities in Lean

    Lean

  4. LeanParser LeanParser Public

    An implementation of Lean's parsing algorithm.

    Haskell

  5. AutLinOrd AutLinOrd Public

    Automorphisms of Linear Orders

    Lean