1 paper · 1 filter
Fedor Part, Valery Isaev, Sergey Sinchuk
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…