Tanner Duve
tannerduve
Interested in types, categories, and functional programming. Rust, Lean, OCaml, and Haskell fan.
Nexus San Francisco
Markus de Medeiros
markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
HARP Lab
harp-lab
We are the HARP (High-performance Automated Reasoning and Programming) lab
United States of America
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Jonathan
curatorsigma
Mathematiker, Programmierer, Techniker, Musiker, Gottes geliebtes Kind.
Dresden, Germany
alexl4123
A student of the Vienna University of Technology.
Alexander Beiser
Vienna university of technology Austria
Tony Zorman
slotThe
Postdoc in mathematics, Haskell and Emacs devotee, @xmonad maintainer. I like free software.
More at gitlab/slotThe and codeberg/slotThe
Francesco Kriegel
francesco-kriegel
TU Dresden, Theoretical Computer Science Dresden, Germany
Knowledge-Based Systems
knowsys
Projects affiliated with the KBS research group at TU Dresden (note: hosting content here does not establish any formal or legal relation to TU Dresden)
Dresden, Germany
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
HHU Adam Project
hhu-adam
ADAM is a project group at Heinrich-Heine-University Düsseldorf focusing on learning resources around the proof assistant Lean.
Germany
Lucas Vogel
lucasvog
I like the Web and the technologies behind it. Started with C/C++ but fell down the rabbit hole and am now here writing stuff mainly in Python and TypeScript.
WeSoNet Dresden, Germany