◐ Shell
clean mode source ↗

TwoFX - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

View TwoFX's full-sized avatar

At first Anthony thinks the compiler must be trolling him.

Julia Markus Himmel TwoFX

At first Anthony thinks the compiler must be trolling him.

Block or report TwoFX

Pinned Loading

  1. The math library of Lean 4

    Lean 3.5k 1.4k

  2. Lean 4 programming language and theorem prover

    Lean 8.3k 880

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

    Lean 119 8

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

    TeX

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

    Java 6 3

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

    TeX