News for hackers. Stuff that matters.

A comment on Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains. Parent comment

Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by manojlds on Wednesday August 07, 2019 @01:48AM (#20632253)
https://github.com/JetBrains/Arend
[ Parent | on HN ]

There are no comments on this comment yet.