Julia Markus Himmel TwoFX

🦎

At first Anthony thinks the compiler must be trolling him.

I used to work in an office

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

leanprover-community/mathlib4 leanprover-community/mathlib4 Public

The math library of Lean 4

Lean 4.5k 1.9k
leanprover/lean4 leanprover/lean4 Public

Lean 4 programming language and theorem prover

Lean 10k 1.1k
sudoku sudoku Public archive

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

Lean 121 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

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.