Mama Erna
This is the news update.
Selasa, 06 Agustus 2019
New top story on Hacker News: Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
4 by adamnemecek |
0 comments
on Hacker News.
Tidak ada komentar:
Posting Komentar
Posting Lebih Baru
Posting Lama
Beranda
Langganan:
Posting Komentar (Atom)
Tidak ada komentar:
Posting Komentar