4 by adamnemecek | 0 comments on Hacker News.
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.
4 by adamnemecek | 0 comments on Hacker News.
Related Posts:
New top story on Hacker News: NASA’s OSIRIS-REx Spacecraft Enters Close Orbit Around Bennu- New top story on Hacker News: Make Your Own Pythagorean Cup
- New top story on Hacker News: The Chinese scientist who allegedly created CRISPR babies is being detained
- New top story on Hacker News: This clever AI hid data from its creators to cheat at its appointed task
- New top story on Hacker News: Show HN: Snigl – Forth with Lisp in C
0 comments:
Post a Comment