Home Original page

digama0 - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View digama0's full-sized avatar

Mario Carneiro digama0

I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Organizations

@metamath @leanprover-community

Block or report digama0

Pinned Loading

  1. Metamath Zero specification language

    Lean 382 51

  2. mmj2 GUI Proof Assistant for the Metamath project

    Java 78 27

  3. LaTeX code for a paper on lean's type theory

    TeX 163 6

  4. The math library of Lean 4

    Lean 3k 1.2k