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:49AM (#20632260)
It's in JetBrains Incubator.
[ Parent | on HN ]
Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by tunesmith on Wednesday August 07, 2019 @01:57AM (#20632287)
https://research.jetbrains.org/groups/group-for-dependent-ty...
[ Parent | on HN ]