4 ms·
Oh wow, they have a HoTT research group? That's very interesting, and exciting. I'd love a JetBrains automated proof assistant.
by lake_vincent 4y ago
Oh wow, they have a HoTT research group? That's very interesting, and exciting. I'd love a JetBrains automated proof assistant.
- bmc7505 4y agohttps://arend-lang.github.io https://arend-lang.github.io
- ericmay 4y agoVery neat. Thanks for sharing.
- lake_vincent 4y agoswoons