Users following aya-prover
Zhilei Han
linusboyle
PhD candidate @ Tsinghua University. Research on formal verification.
Tsinghua University Beijing, PRC
Qinghe
MikanAffine
Sophomore @ XJTU.
~9 years coding experience.
Programming Languages Design & Implementation enthusiast.
Xi'an Jiaotong University Xi'an, Shaanxi Province, China
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
B.Sc of Math at SUSTech.
Southern University of Science and Technology Shenzhen
lane
lane-core
systems design, formal verification, (homotopy) type theory, and categorical nonsense
san francisco
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
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
ZHU Siyuan
floatshadow
PhD student; programming language, compiler;
participated in ASC'22, ISC'23
Peking University Beijing, China
Brilliant Narlo (Quinn)
brilliantnarlo
Lead Backend & System Architect | FPGA / ASIC Prototyping Engineer | Native Android & IOS Engineer
Yemudah
PreviousNext