Repository Index

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

A Coq IDE build on top of Proof General's Coq mode

• proof-general
• coq
• integrated-development-environment
• company-mode

SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.

• common-lisp
• integrated-development-environment
• intellij-plugin
• jetbrains