Skip to content

@isabelle-prover Isabelle

Users following isabelle-prover

@Cre4T3Tiv3
Jesse Moses Cre4T3Tiv3
AI/ML Engineer | Temporal Intelligence | Building next-gen AI/ML | Mathematical Foundations → Practical Engineering
@Muhammad313a
Muhammad313a Muhammad313a
@neurafusionai
neurafusionai
@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@AdrienMenaud
AdrienMenaud
@adhikariprajitraj
Prajit Adhikari adhikariprajitraj
@ExLege
ExLege
@FermiQ
fermiq FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI

Science Neutrino

@lee-man
LI Min lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab

Southeast University Shenzhen

@lucasbrixner
Lucas Brixner Riça lucasbrixner
@ewdlop
Raymond Lei(雷菩宇); 䨻-Ficus religiosa-Cousin ewdlop
Hello there! A mathematics enthusiast.智造未来！42 = (-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3. Algorithm >> language. Praticing 黑色幽默; 腦筋急轉彎

(+壹)柒參貳-柒肆零-伍零參陸 Panthalassa, Not Garden State of United States of America 07712

@fnakas
Filippos Nakas fnakas
@zufius
zufius
@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

@giuliocaflisch
Giulio Caflisch giuliocaflisch
Mathematics student from Italy (Sicily) and Switzerland (Grisons). Adult fan of Lego®.

Italy

@djvelimir
Velimir Đurković djvelimir
Highly experienced Senior Software Engineer. Proficient in a range of technologies including .NET, Java, Angular, JavaScript, and TypeScript.

Novi Sad, Vojvodina, Serbia

@chung-thai-nguyen
Chung Thai Nguyen chung-thai-nguyen
Vibe coder. Verifiable computation.

Vietnam

@samuelpswang
Samuel Wang samuelpswang
Computer Engineering @ Imperial '25
@joewatt95
joewatt95
@edgaramirbekian
Edgar Amirbekyan edgaramirbekian

Armenia

@N0FreeLunch
Owl's Insight N0FreeLunch
bounded context definer

Yokohama, Japan

@juanmirocks
Dr. Juan Miguel Cejuela juanmirocks
AI & software engineer - security architect

@Cloudflare Munich

@JonathanStarup
Jonathan Lindegaard Starup JonathanStarup
Computer science PhD at Aarhus University

Aarhus, Denmark

@ymmmt
ymmmt
@Hacker-Code-J
Ji, Yong-Hyeon Hacker-Code-J
@Zhang-Liao
Zhang-Liao Zhang-Liao
@ad-si
Adrian Sieber ad-si
CEO @Airsequel | Haskell, Elm, PureScript, Rust

@Airsequel Frankfurt am Main

@kohloderso
Christina Kirk kohloderso

TBBM Innsbruck

@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@ianhhlee
ianhhlee
@alexanderlhicks
Alexander Hicks alexanderlhicks
@KennyOliver
Kenny • 餉尓 • ケニー KennyOliver
TypeScript, Next/React, Tailwind/SCSS, Firebase, Rust, Bash, SQL, Docker, and more! Google Hackathon winner! 5x winner! Top 2k UK Beat Saber players!

Undergrad CS Student | UM London, UK • Suffolk, UK

@YiranDuan721
Yiran Duan YiranDuan721

Technical University of Munich Munich, Germany

@bsall
bsall bsall
@HuaYuan-Tseng
Rex.Tseng HuaYuan-Tseng
Hi, I am Rex. Primarily using modern C++.

Taiwan, Taipei

@ale256
A. Le ale256
@jonastahl
Jonas Stahl jonastahl

Technical University of Munich

@vishallama
Vishal Lama vishallama
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.

USA

@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@roundEaredSengi
alicia roundEaredSengi
@pabloski80
pabloski80
@ametisto26
Kristalo ametisto26
Add a bio.
@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@mariannethierry
Thierry Marianne mariannethierry
@Node2Tree
Node2Tree
@varo712
Álvaro varo712
Mathematician and Statitician

Seville, Spain

@haskell-monad
luna haskell-monad
所有的善恶都是我.良心一路走来依旧清澈鲜活...

China Beijing

@gleblobanov
Gleb Lobanov gleblobanov
@mi-ki
mi.ki mi-ki
Researcher in formal methods @lmu @kastel-security. (he/him)

Ludwig-Maximilians-Universität (LMU) Munich Munich, Germany

@cxlvinchau
Calvin Chau cxlvinchau
PhD Student @ TU Dresden. Interested in probabilistic model checking, neural network verification and formal methods in general.

TU Dresden Dresden, Germany