Программы senier.net/libsparkcrypto

Формально проверенная реализация криптографических алгоритмов с использованием языка программирования SPARK. Для полной библиотеки доступны доказательства отсутствия ошибок времени выполнения. Некоторые из его подпрограмм вкл