Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Arend Programming Language
(
arend-lang.github.io
)
1 point
by
revskill
on Nov 4, 2022
|
past
Arend Theorem Prover
(
arend-lang.github.io
)
2 points
by
colinprince
on Sept 10, 2019
|
past
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
(
arend-lang.github.io
)
309 points
by
adamnemecek
on Aug 6, 2019
|
past
|
114 comments
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
