TwoFX

Follow

🦎

At first Anthony thinks the compiler must be trolling him.

Julia Markus Himmel TwoFX

🦎

At first Anthony thinks the compiler must be trolling him.

Follow

I used to work in an office

82 followers · 5 following

Lean FRO
Karlsruhe, Germany
14:54 (UTC +02:00)
juliahimmel.de
in/julia-markus-h-880abb83

Organizations

TwoFX/README.md

I am a Research Software Engineer/Tech Lead at the Lean FRO and a mathlib maintainer.

How to reach me: send me a message on Zulip

Pinned Loading

leanprover-community/mathlib4 leanprover-community/mathlib4 Public

The math library of Lean 4

Lean 4k 1.6k
leanprover/lean4 leanprover/lean4 Public

Lean 4 programming language and theorem prover

Lean 8.9k 956
sudoku sudoku Public archive

A sudoku game where you have to prove that your deductions are valid

Lean 120 8
EmbeddingTheorem EmbeddingTheorem Public

A lecture on a proof of the Freyd-Mitchell Embedding Theorem

TeX 1
wavelength-ide/wavelength-ide wavelength-ide/wavelength-ide Public

A browser-based IDE for the untyped lambda calculus. Try it:

Java 6 3
supreme-pancake supreme-pancake Public

Technical report on the architecture of the GUI of the Windows operating system

TeX