coq/vscoq

Visual Studio Code extension for Coq

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