Geeks
wenkokke
/
lazuli
Liquid Haskell library for verifying neural networks.
Primary Language
Haskell
Other
NOASSERTION
lazuli GitHub
Markdown
Readme
1
Issue
7
Stargazers
4
Watchers
Issues
Closed issue
Rewrite library to reexport all definitions
#1 opened
5 years ago
by
wenkokke
0