meta-logic/coq-ll Stargazers
- Chih-chan Tiencctien
- Alex Gryzlovclayrat
- Daniel Hilstdhilst
- Andrejs Agejevsesneko
- Jaime Arias Almeidahimito
- Lourdes Glz HuescaLouGlzHuesca
- Marcello Parismarcellop71
- Marco Favoritomarcofavorito
- Mukesh Tiwarimukeshtiwari
- Olivier Laurentolaure01
- Pedro Abreupedrotst
- Rígille S. B. Menezesrigille
- Scott Fleischmanscott-fleischman
- timothytimothyklim