search

ThoughtWorksInc / DeepDarkFantasy

A Programming Language for Deep Learning
Apache License 2.0
462 stars 47 forks source link

Formally Verify LR #187

Closed MarisaKirisame closed 7 years ago

MarisaKirisame commented 7 years ago

verification is delayed.