The Aya Theorem Prover
Users following aya-prover
Zhilei Han
linusboyle
PhD candidate @ Tsinghua University. Research on formal verification.
Tsinghua University Beijing, PRC
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
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
programming language, compiler;
participated in ASC'22, ISC'23
Beijing, China
Brilliant Narlo (Quinn)
brilliantnarlo
Lead Backend & System Architect | FPGA / ASIC Prototyping Engineer | Native Android & IOS Engineer
Yemudah
PreviousNext