JetBrains/arend-lib

Java

1,500 commits

updated Feb 28, 2025

README

Arend Standard Library

Arend is a theorem prover based on Homotopy Type Theory. Visit arend-lang.github.io for more information about the Arend language.

Contributors

1,088 commits

143 commits

91 commits

66 commits

Similar repos

Andromedans/andromeda

A proof assistant for general type theories

317

HoTT/HoTT

A Coq library for Homotopy Type Theory

1,405

HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory

1,405

HigherOrderCO/Kind

A modern proof language

3,762

leanprover-community/lean

Lean 3 Theorem Prover (community fork)

434

Xinze-Li-Moqian/awesome-ai4math

The ecosystem reshaping mathematics.

dlicata335/hott-agda

thehottgame/TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested…

141

Languages

Java

100.0%

JetBrains/arend-lib

Java

1,500 commits

updated Feb 28, 2025

See the code

README

Arend Standard Library

Arend is a theorem prover based on Homotopy Type Theory. Visit arend-lang.github.io for more information about the Arend language.

Similar repos

Andromedans/andromeda

A proof assistant for general type theories

317

HoTT/HoTT

A Coq library for Homotopy Type Theory

1,405

HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory

1,405

HigherOrderCO/Kind

A modern proof language

3,762

leanprover-community/lean

Lean 3 Theorem Prover (community fork)

434

Xinze-Li-Moqian/awesome-ai4math

The ecosystem reshaping mathematics.

dlicata335/hott-agda

thehottgame/TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested…

141

Contributors

1,088 commits

143 commits

91 commits

66 commits

Languages

Java

100.0%