Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with arend
A curated list of projects in awesome lists tagged with arend .
https://github.com/jetbrains/intellij-arend
Arend plugin for IntelliJ IDEA
arend intellij intellij-plugin
Last synced: 20 Jan 2025
https://github.com/JetBrains/intellij-arend
Arend plugin for IntelliJ IDEA
arend intellij intellij-plugin
Last synced: 26 Nov 2024
https://github.com/dmytromitin/arend-exercises
arend dependent-types hott jetbrains theorem-proving
Last synced: 02 Jan 2025
https://github.com/shreckye/arend-tutorial-exercise-solutions
Arend Tutorial exercise solutions
arend arend-lang arend-tutorial
Last synced: 18 Jan 2025
