Please see https://github.com/Frege/frege/wiki/Using-Frege-in-Intellij-IDEA on how to use this project.