#fp #hott

Today JetBrains released theorem prover based on Homotopy Type Theory https://arend-lang.github.io/documentation/getting-started

Rumors were not lying!