GitHub Hot Board · Archivio repository
Definition of the Viper intermediate verification language. (Questa descrizione proviene dal repository.)
Dati al October 23viperproject
Miglior posizione
#6
Gemme ignorate
100
Stelle totali
53
Fork totali
2
Giorni in classifica (30 g)
Silver is the intermediate verification language of the Viper project by Programming Methodology Group at the Department of Computer Science, ETH Zurich.
Instructions for how to get started with Viper can be found here.
Files for LaTeX and various editors can be found under
silver/util/highlighting directory.
Gemme ignorate
100 stelle · 53 fork · Star totali (crescente)
Stelle cumulate
Andamento della posizione