enriquerodbe/coqidea enriquerodbe/coqidea

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Java
  • License
    MIT License
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
enriquerodbe/coqidea
github

enriquerodbe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

IntelliJ IDEA plugin for Coq language

More Repositories

1

borsh4s

Scala implementation of Borsh serialization format
Scala
3
star
2

scalatin-minesweeper

Scalatin demo project
Scala
3
star
3

functional-world-minesweeper

Example project used for the Functional World presentation
Scala
3
star
4

moonitor

Scala+Akka monitoring tool
Scala
1
star