arend

Star

Here are 11 public repositories matching this topic...

JetBrains / Arend

Star

The Arend Proof Assistant

arend

Updated Feb 25, 2025
Java

JetBrains / intellij-arend

Star

Arend plugin for IntelliJ IDEA

intellij intellij-plugin arend

Updated Feb 26, 2025
Kotlin

arend-lang / tutorial-code

Star

Source code & exercises in Arend's documentation

tutorial-code tutorial-exercises arend

Updated Jul 24, 2026

DmytroMitin / arend-exercises

Star

dependent-types jetbrains theorem-proving hott arend

Updated Dec 17, 2018

TimothyEarley / incompleteness

Star

Gödels Incompleteness Theorem Proven in Arend

proof logic arend

Updated Oct 9, 2025

arend-lang / arend-tmbundle

Star

For GitHub linguist's syntax highlighting

syntax-highlighting linguist github-linguist arend

Updated Jul 7, 2020

weisi / awesome-arend

Star

Resources for Arend Theorem Prover.

awesome arend

Updated Jan 19, 2020

stoand / kakoune-arend

Star

Unofficial syntax highlighting for the Arend Language for the Kakoune editor

plugin kakoune proofs homotopy-type-theory arend arend-lang

Updated Jan 12, 2021

ShreckYe / arend-tutorial-exercise-solutions

Star

Arend Tutorial exercise solutions

arend arend-lang arend-tutorial

Updated Jul 8, 2021

bashforgo / learning-arend

Star

Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)

learning dependent-types proof-assistant learning-by-doing self-learning arend

Updated Jul 9, 2020

TimothyEarley / arend-sandbox

Star

Playing around with Arend

proof-assistant arend typetheory

Updated Mar 22, 2026

Add this topic to your repo

To associate your repository with the arend topic, visit your repo's landing page and select "manage topics."

Learn more