Mathematical Components
Users following math-comp
Triang-jyed-driung
Un étudiant de Collège Qiuzhen qui ne comprend rien sur l'analyse
L'Université Tsinghua Pékin Chine
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Sheffield, United Kingdom
Sean P. Myrick V19.1.7.2
seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.
Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>
PreviousNext