Скачать
Serokell x Dfinity / Motoko x Viper
Автор: Kirill Kizilov Serokell
Загружено: 2024-07-01
Просмотров: 15
Описание: The next iteration of the Motoko-san project, which is a formal, automated, code-level verifier for the Motoko smart contract language.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: