โ— 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

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

    C 13 3

  5. HoTT in Lean 3

    Lean 81 12