Home » Authors » Fedor Part, Valery Isaev, Sergey Sinchuk

Fedor Part, Valery Isaev, Sergey Sinchuk

Public reference bibliography and cataloged PDF materials authored or published by Fedor Part, Valery Isaev, Sergey Sinchuk.

Found 1 document(s) Page 1 of 1

Theorem prover Arend

Year: 2026 • Source: arxiv.org • Listed PDF

This paper is an exposition of the theorem prover Arend developed at JetBrains Research. Arend language has been designed to facilitate the formalization of mathematics within the framework of univalent foundations and w...