Skip to content

@aya-prover The Aya Theorem Prover

Users following aya-prover

@iDagas
ioda iDagas

Athens

@0xA672
0xA672
Счастье для всех! ᔦ ° ꒳ ° ᔨ ̖́-

Wyoke Scott domain

@josejairobaltazargallegos0-star
josejairobaltazargallegos0-star
@alxbnct
Yosef Weissmann alxbnct
@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@linusboyle
Zhilei Han linusboyle
PhD candidate @ Tsinghua University. Research on formal verification.

Tsinghua University Beijing, PRC

@linull24
Linull/李林 linull24

Shanghai University

@cattingcat
Mark cattingcat
@montmorill
montmorillonite montmorill
Just a stone.

Jinan, Shandong, China

@ChiyoYuki
千代有希=> ChiyoYuki
ignoramus et ignorabimus

127.0.0.1

@Th3-Nevazzz
Th3-Nevazzz
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@taimoon
Leong Teng Man taimoon
兴趣使然

Malaysia

@suaannihilant
suaannihilant suaannihilant
@KonjacSource
Qu KonjacSource
Interested in Peace, Love, and Type Theory.

Nagoya University Jinan/Qingdao China; Nagoya Japan

@MikanAffine
Qinghe MikanAffine
Junior @ XJTU, 10 years coding experience, MLSys & Compiler

Xi'an Jiaotong University Xi'an, Shaanxi Province, China

@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@Duolei-Wang
Duolei Wang Duolei-Wang
B.Sc of Math at SUSTech.

Southern University of Science and Technology Shenzhen

@definfo
Yuxuan Sun definfo
A random PL/Compiler guy

Shanghai Jiao Tong University Shanghai, China

@douyixuan
Cedric douyixuan
A slow walker. Dream to make a big difference one day.

HUMANS China

@hmyuuu
Huai-Ming Yu hmyuuu
homines quo plura habent, eo ampliora cupiunt
@eldesh
eldesh eldesh

Tokyo

@Eric-Song-Nop
Yifan Song Eric-Song-Nop

Looking for job

@Qiu233
Qiu Qiu233
@Zhang-Liao
Zhang-Liao Zhang-Liao
@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@HK-SHAO
HK-SHAO HK-SHAO
Hi.

Milky Way Galaxy

@BlankHeart0
BlankHeart0
An Artist
@hiyasame
Hiyasame hiyasame
RTFSC | Escaping the gravity of reality.

@meituan Beijing & Chongqing

@scatyf3
scatyf3 scatyf3
学习，学习，再学习

New York University New York

@UnaryPlus
Owen Bechtel UnaryPlus
@intsuc
Ino Itsuca intsuc

Japan

@ATMxsp01
ATMxsp01 ATMxsp01
Down the rabbit hole
@samtoth
Sam Toth samtoth
PhD student in computer science at the University of Nottingham
@altriasjy31
Altriasjy Pendragon altriasjy31
bioinformatics & comp bio; generative biology.

m78

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@bmuslih
Basel Muslih bmuslih
💡 Building something smart...

Bethlehem

@IFEIFEI
IFEIFEI
@Zecyel
Zecyel Zecyel
A programmer with interesting ideas.

Fudan University Shanghai, China

@kermanx
_Kerman kermanx

@USTCLUG · Intern @deepseek-ai · prev. @MoonshotAI

@rudynicolop
Rudy Peterson rudynicolop
@biocini
lane biocini
systems design, formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@xiyuzhai
Xiyu Zhai xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.

UW Seattle, WA

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@huangjunwen
huang jw huangjunwen

GuangZhou, China

@famasoon
Ryota Sakai famasoon
Threat research and programming. https://twitter.com/FAMASoon Discord: 64gigabyte

Tokyo, Japn

@floatshadow
ZHU Siyuan floatshadow
PhD student; programming language, compiler; participated in ASC'22, ISC'23

Peking University Beijing, China

@brilliantnarlo
Brilliant Narlo (Quinn) brilliantnarlo
Senior Software Engineer | Backend, Systems Architecture, DevOps, Digital & Analog IC/MCU, Simulation, Sensors & Neural Networks

Yemudah

@bobosco
Bosco bobosco
https://bobosco.github.io/en/about/

Shanghai

@AliasQli
Alias Qli AliasQli
Multilingual user & Type Theory enthusiast

Qliphoth Tech.