Emanuel Trigo's repositories
dafny-plugin
VSCode IDE Integration for Dafny
Language:TypeScriptMIT000
EmantrigoBot
A Discord Bot made using Discord.js
Language:JavaScript000
emantrigo
Faculdade de Engenharia da Universidade do Porto
Portugal
Faculdade de Engenharia da Universidade do Porto
Portugal
VSCode IDE Integration for Dafny
A Discord Bot made using Discord.js