acl2/acl2 Watchers
- acl2jenkins
- Waqar Ahmedahmedwaqar
- wenlongaogrcs
- Eric McCarthybendyarm
- caocao485caocao485
- Dennis YurichevDennisYurichev
- eemailme
- Eric W. Smithericsmithkestrel
- Eric W. Smithericwhitmansmith
- Grant Jurgensengjurgensen
- Harsh Rungtaharshrungta
- Jared Davisjaredcdavis
- Jeff Flowersjflowers1974
- James Cloosjhcloos
- Ye Zhaoliangjueqingsizhe66
- MattKaufmann
- nulng
- myoshikaorz--
- Paulo Veraspaulov0b0x
- Pete Manoliospmanolios
- Pranav Vatspranavats
- David L. Ragerragerdl
- Ruben Gamboarubengamboa
- russinoff
- Shilpi Goelshigoel
- Anna Slobodovaslobodova
- Scott M. Staleysmstaley
- solswords
- Sven WilleSvenWille
- Tarık Özkanlıtarikozkanli
- Tiancheng-LuoTiancheng-Luo
- trumaetrumae
- Bombin Valentinwwall
- Xianxian-zju