Measures Concepts
GitHub icon

arend

arend - Programming language

< >
home edit

arend is a programming language created in 2019.

#2889on PLDB 5Years Old


HackerNews discussions of arend

title date score comments
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains 08/06/2019 309 114

View source

- Build the next great programming language 路 Search 路 Add Language 路 Features 路 Creators 路 Resources 路 About 路 Blog 路 Acknowledgements 路 Queries 路 Stats 路 Sponsor 路 Day 605 路 feedback@pldb.io 路 Logout