GitHub repository: waldandrade/formalcode
Primary language: JavaScript
Created: 2020-03-13T06:56:47Z
Description: Plataforma online para edição, compilação e simulação de especificações formais escritas em Lotos