Arend 1.11.0 released
This release focuses primarily on internal enhancements aimed at improving overall stability.
| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 11 Dec 2025 13:13:26 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"693ac376-2acf"
expires: Tue, 30 Dec 2025 07:50:38 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 56B4:444BC:9D605D:B0A885:695381F3
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 07:40:38 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210093-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767080439.523667,VS0,VE206
vary: Accept-Encoding
x-fastly-request-id: 21d65358aedd57b26bef1999a1d4819e9406d85e
content-length: 3066
Arend - Arend Theorem Prover
Arend
Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language.
Recent Posts
Arend 1.10.0 released
Language updates:
Arend 1.9.0 released
Language updates:
Arend 1.8.0 released
Language updates:
New IntelliJ Arend tutorial
There is a new tutorial on interactive theorem proving with IntelliJ Arend. Check it out to learn about the features of IntelliJ Arend that speed-up theorem...