HoTT/Coq-HoTT Stargazers
- Anthony Cowleyacowley
- Andrej Bauerandrejbauer
- Steve Awodeyawodey
- Cameron Smithcameronraysmith
- Alex Gryzlovclayrat
- Daniel Peeblescopumpkin
- Daniel Yokomizodyokomizo
- Eduardo Pareja Tobeseparejatobes
- ericethul
- Robin Greengreenrd
- Kobayasi, Hiroakihkoba
- iisomorphisms
- Jason GrossJasonGross
- Jason Reichjasonreich
- James Cranchjcranch
- Jonathan Fischoffjfischoff
- joeschmo
- Kartik TalwarKartikTalwar
- Kenn Knowleskennknowles
- Roma Sokolovlittle-arhat
- metakeulemetakeule
- Masahiro Sakaimsakai
- Nuo Linzl-nott
- Petter A. Urkedalpaurkedal
- Peter LeFanu Lumsdainepeterlefanulumsdaine
- Rehno Lindequerehno-lindeque
- Robert J. Simmonsrobsimmons
- Sean Bowmanrsbowman
- Ruud Kootruudkoot
- Stephen Diehlsdiehl
- Sjoerd Visschersjoerdvisscher
- Bas Spittersspitters
- Steven Shawsteshaw
- Tim Baumanntimjb
- Jelle Heroldwires
- Guillaume Yziquelyziquel