PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
arend
<
>
home
edit
arend is a
programming language
created in
2019
.
#2695
on PLDB
5
Years Old
Homepage
路
Twitter
Tags:
programming language
Early development of arend happened in
JetBrains
HackerNews discussions of arend
title
date
score
comments
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
08/06/2019
309
114
air.html
路 arend.html 路
behavior-markup-language.html
View source
PLDB
- Build the next great programming language
路
Add
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
路
Part of the World Wide Scroll