项目描述 ：
Agda library for verifying neural networks.

高级语言： Agda

项目主页： https://wenkokke.github.io/amethyst/

项目地址: git://github.com/wenkokke/amethyst.git

创建时间： 2020-08-25T10:42:19Z
项目社区：https://github.com/wenkokke/amethyst
开源协议：Other
下载