pereq
Users following pereq-dev
Clément Blaudeau
clementblaudeau
Working at @cryspen on verifying Rust code via the hax toolchain, in Lean! Previously working on (and still interested in) OCaml modules
Pereq (formally Cryspen) Paris
riaan de beer🦀
infinityabundance
openssl-rs - zic-rs - gnucobol-rs - ncurses-native - autotools-rs
🦀
Invariant Forge LLC Porto, Portugal