eclipse-plugin

The eclipse plugin for frege, codename fregIDE

30 stars

7 watching

5 forks

Language: Java

last commit: about 5 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

sfischer13/awesome-frege