Former Athlete ... Software Engineer … Avid Rust User 🦀 … Coq Proof Assistant Prover ? … Types are better

ID: 2957466465

calendar_today02-01-2015 23:09:44