Adrien Champion

icon company anzenlang icon location La Rochelle, France icon location Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

Results 1 repositories owned by Adrien Champion

hashconsing

32
Stars
6
Forks
Watchers

A Rust hashconsing library.

verified publisher icon AdrienChampion