Log inSign up
user avatar
Vivien Rindisbacher
@staticlifetime
Former Athlete ... Software Engineer … Avid Rust User 🦀 … Coq Proof Assistant Prover ? … Types are better
Joined January 2015
78
Following
105
Followers

@staticlifetime hasn’t posted

When they do, their posts will show up here.