GitHub repository: GabrielTamujo/galois-plugin-intellij
Primary language: Java
Created: 2020-09-21T12:31:54Z
Description: Galois Autocompleter Plugin for IntelliJ