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 j88439h84 on Wednesday August 07, 2019 @01:36AM (#20632218)
JetBrains is a company and they made a product called "Arend"
[ Parent | on HN ]
Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by kccqzy on Wednesday August 07, 2019 @01:41AM (#20632233)
Is this actually an official product by JetBrains though? The github repo shows majority of commits by a single person. This looks more like a 20% time project by an engineer at JetBrains.
[ Parent | on HN ]
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 ]