5 ms·

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 al

• j88439h84 7y ago
  JetBrains is a company and they made a product called "Arend"
  • kccqzy 7y ago
    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.
    • manojlds 7y ago
      It's in JetBrains Incubator.
      • tunesmith 7y ago
        https://research.jetbrains.org/groups/group-for-dependent-types-and-hott https://research.jetbrains.org/groups/group-for-dependent-ty...
• manojlds 7y ago
  https://github.com/JetBrains/Arend https://github.com/JetBrains/Arend