The Aya Theorem Prover
Users following aya-prover
Hoshino Tented
HoshinoTented
impl !Ord for Self {}
肥宅行为模式科学研究院 | 清芷大学 (TsingChih University) 世界轴 / The Axis
Ilya Nikitin
F1uctus
Programming languages theory, computational linguistics & maths enthusiast.
Occasionally a game maker. Amateur landscape photographer.
M4tr1xt4ng
MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI
@Vidar-Team @InProgramming @earth
Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
@huanshankeji Chengdu
PreviousNext