Leonardo de Moura

10 Lean publications

About

This unclaimed directory entry records publication authorship from source-pinned Lean bibliography and project citation metadata. It does not assign authorship of any specific Lean proof.

Directory provenance

Source for this directory identity

Lean community formalization bibliography

Source license: MIT

Is this you?

Request ownership to correct your biography, add links, and publish formal work under this identity.

Claim this profile

Publications

10 Lean publications

These are explicit paper-author relationships from the Lean community bibliography. They are not theorem-level proof attribution.

2022

'do' unchained: embracing local imperativity in a purely functional language (functional pearl)

Publication source

2021

The lean 4 theorem prover and programming language

Publication source

2020

Beyond notations: Hygienic macro expansion for theorem proving languages

Publication source

2020

Sealing pointer-based optimizations behind pure functions

Publication source

2020

Tabled typeclass resolution

Publication source

2019

Counting immutable beans: Reference counting optimized for purely functional programming

Publication source

2017

A metaprogramming framework for formal verification

Publication source

2016

Congruence closure in intensional type theory

Publication source DOI

2015

Elaboration in dependent type theory

Publication source

2014

Theorem proving in lean

Publication source

Formal work

0 indexed works

No theorem-level proof records are attached to this profile. Therefore does not infer proof authorship from publication authorship, repository activity, or project membership.