5 ms·deletedby quickthrower2 7y agodeletedbinarycrusader 7y agoApache 2.0: https://github.com/JetBrains/arend-lib/blob/master/LICENSE https://github.com/JetBrains/arend-lib/blob/master/LICENSE