HOL-Theorem-Prover/HOL Stargazers
- abdul dakkakabduld
- Vincent Aravantinosaravantv
- Brian Campbellbacam
- Axel Tillequinbdcht
- Stan SooCheeseTurtle
- David Leon Gilcoruus
- David Sheetsdsheets
- Anh-Dung Phandungpa
- Mike Englishenglishm
- grace198801
- Peter Vincent Homeierhomeier
- Jack Pappasjack-pappas
- James Lingardjchl
- Kkenpusney
- Ken Friis Larsenkfl
- KurSh
- Marcus L Endicottmendicott
- Tarek Mhamdimhamdi
- Michael Norrishmn200
- NyonCat
- Patrick Shieldspshields
- Reto Kramerret
- Rintcius Blokrintcius
- Ruoyu Chenruoyu-chen
- Aistis Raulinaitissheganinans
- Seb Mondetsmondet
- Scott OwensSOwens
- Steven Shawsteshaw
- Mohammad Reza Taesiritaesiri
- Fausto SaporitoTheFausap
- Tjark Webertjark
- Tom Ridgetomjridge
- Alexandre Gomesxandmaga
- Ramana Kumarxrchz
- Yuri Kizhaevyurlin
- zaquest