Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by karoofish on Wednesday August 07, 2019 @01:35AM (#20632214)

i'm a little confused. Is this BY Jetbrains as the title says, or by another company? Its using the same style as the Jetbrains website and and says "By" but also says Arend?

[ Parent | on HN ]

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 ]

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 ]