3 ms·
Apache 2.0: https://github.com/JetBrains/arend-lib/blob/master/LICENSE https://github.com/JetBrains/arend-lib/blob/master/LICENSE
by binarycrusader 7y ago
Apache 2.0: https://github.com/JetBrains/arend-lib/blob/master/LICENSE https://github.com/JetBrains/arend-lib/blob/master/LICENSE