wenkokke/lazuli

Liquid Haskell library for verifying neural networks.

语言：Haskell · GitHub 星标：7 · Fork：0

话题：liquid-haskell · neural-networks · smt-solver

在 GitHub 上查看原仓库