◐ Shell
clean mode source ↗

gebner - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

View gebner's full-sized avatar

🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌

Gabriel Ebner gebner

🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌

Block or report gebner

Pinned Loading

  1. Lean 3's obsolete mathematical components library: please use mathlib4

    Lean 1.7k 290

  2. GAPT: General Architecture for Proof Theory

    Scala 111 19

  3. Lean type-checker written in Scala.

    Scala 42 4

  5. Firmware for a DALI-USB adapter using an ATtiny45.

    C 13 3

  6. HoTT in Lean 3

    Lean 81 12