JetBrains Research unites scientists working in challenging new disciplines
14 November 2020
Arend 1.5.0 is released
We released version 1.5.0 of Arend.
1 August 2020
Arend 1.4.0 is released
We released version 1.4.0 of Arend. It contains new syntactic sugar, REPL, goal solver and others.
23 April 2020
Arend 1.3.0 is released
We released 1.3.0 of Arend. It contains language extension and IDE improvements.
7 February 2020
First part of our new tutorial
We finished the first part of our new tutorial. It covers all the basic constructions of Arend.
Agent Systems and Reinforcement Learning
HoTT and Dependent Types Group
Machine Learning Applications and Deep Learning
Machine Learning Methods in Software Engineering
Mobile Robot Algorithms Laboratory
Nuclear Physics Methods Laboratory
Optimization Problems in Software Engineering
Programming Languages and Tools Lab
Verification or Program Analysis Lab
Subscribe to RSS