Adrien Champion
@AdrienChampion
About
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
hashconsing
RustA Rust hashconsing library.
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
cvc.lean
Relatively high-level cvc5 API.
podman
Podman: A tool for managing OCI containers and pods
lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
collChoSoWel
LeanNo project description available.