lyj's following
- AeneasVerifAeneasVerif
- Amanieu d'AntrasAmanieu
- Boqin Qin(秦 伯钦)BurtonQin
- Chris Fallincfallin
- Chou Kyuheichoukh
- coq-communitycoq-community
- cp-clubcp-club
- Dafnydafny-lang
- duo-langduo-lang
- Fernando Borrettieudoxia0
- Guest0x0Guest0x0
- Jack Hueyjackh726
- Jeehoon Kangjeehoonkang
- Jon Gjengsetjonhoo
- KAIST Concurrency and Parallelism Laboratorykaist-cp
- ypcpyKensuke-Hinata
- Sebastian UllrichKha
- Evgenia Karunuslakesare
- Leanleanprover
- Mara Bosm-ou-se
- mahkoh
- minirustminirust
- FRnegiizhao
- Niklas Mohrinniklasmohrin
- Oli Schereroli-obk
- QuineDot
- Shinji KONOshinji-kono
- The Soufflé Projectsouffle-lang
- Santiago Pastorinospastorino
- Frank Steffahnsteffahn
- Tony Xutonyxu-io
- Trebor HuangTrebor-Huang
- Univalent MathematicsUniMath
- vimjoyer
- Way Coolerway-cooler
- Xavier Denisxldenis