5 ms·

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...