2 ms·https://github.com/JetBrains/Arend https://github.com/JetBrains/Arendby manojlds 7y agohttps://github.com/JetBrains/Arend https://github.com/JetBrains/Arend