coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
OCamlMIT
Stargazers
- 3nochIndiana
- anton-trunovTON Foundation
- BlaisorbladeBedrock Systems Inc.
- brendanzab@yeslogic
- CarottiLondon
- clarusFormal Land
- clayratIMDEA Software
- DarkHighnessTwiliness.Inc
- Derek-Wds
- esnekoLatvia
- evhubAnthropic
- fkye
- gares@coq @math-comp @LPCIC
- ichistmeinname@Cap3
- katshun0307Hyogo, Japan
- lambdaxymoxUnited States
- maggesiUniversity of Florence, Italy
- massimotisi
- mgrabovskyFakta o klimatu
- minaminaoTokyo
- njmaeffNelson, BC
- OctogonapusLeuko
- Odomontois
- samebchaseLast9
- scott-fleischman
- sequencerWuhan, China
- skywardpixelGoogle
- smondetNew York, NY
- soraros
- t-izbassar@whisklabs
- tchajedUW-Madison
- TheoWinterhalterInria Saclay
- tkersey@thisisartium
- varosiChaos
- yishibashi
- Zimmi48Télécom Paris