acl2/acl2 Stargazers
- 8l
- Reid D McKenziearrdem
- Emma "Frank" Toschetosch
- Fernando Borrettieudoxia0
- footearthfootearth
- FreeBirdLjjFreeBirdLjj
- Sergey Fukanchikfukanchik
- George Gkitsasggkitsas
- hamletghosthamlet
- Ioannis Sfyrakisgsfyrakis
- Jared Davisjaredcdavis
- Jianyu Huangjianyuh
- jmitchell
- Ye Zhaoliangjueqingsizhe66
- κeenKeenS
- Keshav Kinikini
- Lucas Severolsevero
- Li-Wen Hsulwhsu
- Mario Rodasmarsam
- Mitesh Jainmiteshjain
- Kurt Paganinilqed
- Patrik Janssonpatrikja
- Yan Pengpennyan
- Javier OlaecheaPuercoPop
- David L. Ragerragerdl
- Roger Barraudrbarraud
- Mort Yaosoimort
- David Nolenswannodette
- Shinichi Tanakat-sin
- thezerobitthezerobit
- Utensilutensil
- Alexander Weiglwadoon
- Yuri Kizhaevyurlin
- Eric Baileyyurrriq
- Duarte Barreirazero808
- Zaki Mughal [sivoais]zmughal