agda

Agda是一种依赖类型编程语言/交互式定理证明器。

The most powerful security toolkit for Android: without rooting your device. Run security tools like Nmap, Metasploit, and Wireshark on your Android device without voiding your warranty. Access a wide range of penetration testing tools and utilities, right from your Android phone or tablet.

用于在神经网络上实施逻辑规范的工具包