Sign in
Rodolphe Lepigre
@rlepigre.bsky.social
16
followers
31
following
4
posts
Computer
scientist,
OCaml
programmer,
Coq/Rocq
hacker
Posts
Replies
Media
No posts yet.
