Hacker News
Linking pages
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- This Old Lisp http://thisoldlisp.com/talks/els-2018/ 109 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- An Ethereum Contract Analyzer. When you use an Ethereum… | by Dr. Y | slock.it Blog https://blog.slock.it/an-ethereum-contract-analyzer-93e9da92fecb#4a45.8q8qxr8sl 5 comments
- GitHub - ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry https://github.com/ligurio/practical-fm 1 comment
- Automated Program Transformations | Kestrel Institute https://www.kestrel.edu/research/apt/ 1 comment
- An Overview of Logic in AI and Machine Learning | by naveensundarg | Abacus.AI Blog (Formerly RealityEngines.AI) | Medium https://medium.com/reality-engines/an-overview-of-logic-in-ai-and-machine-learning-2f41ccb2a335 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- GitHub - tani/acl2-kernel: Jupyter Kernel for ACL2 https://github.com/tani/acl2-kernel 0 comments
Related searches:
Search whole site: site:cs.utexas.edu
Search title: ACL2 Version 8.5
See how to search.