La Rochelle, France

Adrien Champion

Expert
@AdrienChampion

Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

hashconsing. A Rust hashconsing library.

39

zdd. Rust

8

collChoSoWel. Lean

5

safe_index. Safe indexing in Rust.

4

fast_expr. Fast expressions.

4

hoice. A Horn Clause ICE engine.

2

benchi. Benchmark easily with `benchi`

2

experimentalean4. Experimenting with lean4

2

loadTerms.lean. Testing dynamic term loading in Lean 4.

2

safeIdx. Type-safe indexing library.

2

timelib. A date and time library for Lean 4

1

lsmt2. Interact with SMT-LIB 2 compliant solvers in Lean 4

1
12
Apply