coq/vscoq

Visual Studio Code extension for Coq

langage: OCaml - taille: 78,7 Mo - dernière synchronisation: il y a 12 mois - enregistré: il y a environ un an - étoiles: 370 - forks: 74