Linking pages
- GitHub - LeifAndersen/PLGradSchools https://github.com/LeifAndersen/PLGradSchools 2 comments
- Synthesizing Neurosymbolic Programs | SIGPLAN Blog https://blog.sigplan.org/2020/04/15/synthesizing-neurosymbolic-programs/ 0 comments
- GitHub - antalsz/hs-to-coq: Convert Haskell source code to Coq source code https://github.com/antalsz/hs-to-coq 0 comments
Related searches:
Search whole site: site:deepspec.org
Search title: The Science of Deep Specification
See how to search.