Skip to content
View mcdoll's full-sized avatar
3 followers · 2 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@leanprover-community
Block or Report

Block or report mcdoll

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

Pinned

  1. armv7 armv7 Public

    Low level armv7 routines for rust

    Rust 5 1

  2. sitara sitara Public

    Low level access to the AM335x Sitara SoC by TI

    Rust 1

  3. leanprover/lean4 leanprover/lean4 Public

    Lean 4 programming language and theorem prover

    Lean 3.9k 327

  4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 949 234

  5. brainfuck brainfuck Public

    A small brainfuck interpreter written in haskell

    Haskell

  6. leanprover-community/batteries leanprover-community/batteries Public

    The "batteries included" extended library for the Lean programming language and theorem prover

    Lean 208 84