JetBrains / intellij-arendLinks
Arend plugin for IntelliJ IDEA
☆93Updated 3 months ago
Alternatives and similar repositories for intellij-arend
Users that are interested in intellij-arend are comparing it to the libraries listed below
Sorting:
- ☆81Updated 3 months ago
- The Arend Proof Assistant☆714Updated 3 months ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆209Updated 3 years ago
- Language Server for Agda☆112Updated 5 months ago
- Total Parser Combinators in Agda☆128Updated 2 years ago
- Contextual types meet mechanized metatheory!