This is your work, valued

Seattle

Leonardo de Moura

Elite
@leodemoura

See https://leodemoura.github.io/about.html

leodemoura.github.io/

lean. Lean Theorem Prover

22

RadixExperiment. Lean

20

LNSym. Armv8 Native Code Symbolic Simulator in Lean

5

ETAPSTutorial2026. Lean

5

z3. The Z3 Theorem Prover

4

attr_ex. Lean Attributes Example

4

APPA. \all X. X \Pi: APPA article

2

libraries. Lean Libraries

2

radix. Radix: verified embedded DSL for high-performance applications

2

msc-thesis. Lean

1

leodemoura.github.com. homepage

1