Top 1,000 Features Creators Resources Blog Explorer Download
GitHub icon

arend

< >
home edit

arend is a programming language created in 2019.

#2897on 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 路 About 路 Acknowledgements 路 Extensions 路 Day 630 路 Donate 路 feedback@pldb.io