Issues du dépôt

williamboman/coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Voir sur GitHub
Stars
 (0 étoile)
Forks
 (0 fork)
Issues indexées
 (0 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
Dernière indexation
13 août 2026
Dernier push GitHub
28 avr. 2022
Licence
GNU General Public License v3.0
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Python
Métriques de merge PR
 (Aucune PR mergée en 30 j)
Labels débutant
Aucun label débutant indexé

Issues

0 issue indexée ouverte

Aucune issue indexée ouverte trouvée pour ce dépôt.