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

15
Stars
4
Forks
Watchers

A Rust hashconsing library.

verified publisher icon AdrienChampion