Arthur Paulino
arthurpaulino
I'm a computer scientist with many interests
Argument Computer Corporation Brazil
Gary Haussmann
Izzimach
Computer graphics and systems programming, mixed with Haskell and Lean4.
Denver, CO
Tomáš Skřivan
lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Anders Christiansen Sørby
Anderssorby
Worked on the Yatima language.
Studied mathematics and statistics with an interest in Machine Learning.
@kodio Norway