first

Breaking News

Home / Hacker News / New top story on Hacker News: Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

New top story on Hacker News: Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

August 06, 2019

No comments

Subscribe to: Post Comments ( Atom )