Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

arend

< >

arend is a programming language created in 2019.

#2695on PLDB 5Years Old
HomepageTwitter


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 Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll