vJ39/CoqIDE
Emulate Coq IDE in VIM
Public GitHub Catalog
Discovered Oct 1, 2026
vJ39 / coq.vim
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#20634598GitHub System ID
vJ39Organization / User
PublicVisibility
ActiveCatalog Status
More from vJ39
vJ39/hhvm
Virtual Machine, Runtime, and JIT for PHP
vJ39/tcp_server_client
jailシステムコールを使ったtcp server/clientのサンプル
vJ39/ios-resident-memory-test
iOS における malloc の挙動について