Skip to content
View oneofvalts's full-sized avatar

Highlights

  • Pro

Block or report oneofvalts

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@adrientetar
Adrien Tétar adrientetar
Developing font tools since '14 😀
@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@xuelink
xue xuelink
Hi 🇨🇦
@langx
LangX | Practice, Learn, Succeed! langx
100% Open Source Alternative to Tandem App!
@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@axiomed
Axiomed axiomed
Lean4 for software engineers.
@digama0
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

@benjamindavidson
Benjamin Davidson benjamindavidson
Student at Columbia University

New York City

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@YaelDillies
Yaël Dillies YaelDillies
Second year PhD student at Stockholm Universitet in additive combinatorics. Also working for Google DeepMind through Adecco Sweden.

Stockholm Universitet Stockholm

@kmill
Kyle Miller kmill

Santa Cruz, California

@ilayn
Ilhan Polat ilayn

Sandvik Amsterdam, Netherlands

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@kckennylau
Kenny Lau kckennylau
Year 2 Pure Maths @ Imperial
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

@geohot
George Hotz geohot
We will commoditize the petaflop.

@commaai @tinygrad San Diego, CA

@beejjorgensen
Brian "Beej Jorgensen" Hall beejjorgensen
Author, instructor, developer.

Jorgensen Labs LLC Bend, OR

@yorikvanhavre
Yorik van Havre yorikvanhavre
architect, freelancer, urban sketcher, @FreeCAD developer, eco-freak, cook, wannabee comic book artist. chaotic neutral, and perfidious communist agent

@uncreatednet, @openingdesign, @FreeCAD Brussels, Belgium

@tildedave
Dave King tildedave
Software guy. Principal engineer @atlassian. Day job: Java, Python, JavaScript. After hours: dad, number theory, functional programming, bit fiddling.

@atlassian Durham, NC

@simonmichael
Simon Michael simonmichael
Independent software consultant, FOSS maintainer.

Joyful Systems Hawaii

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@iowar
OK iowar
#boun | @iowar

The Terminal

@nrnrnr
Norman Ramsey nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.

Tufts University Malden, Mass, USA

@eric-s-raymond
Eric S. Raymond eric-s-raymond
Yeah, I'm that guy.

Malvern, PA, USA