Linking pages
- GitHub - bollu/bollu.github.io: code + contents of my website, and programming life https://github.com/bollu/bollu.github.io#everything-you-know-about-word2vec-is-wrong 171 comments
- Minerva: Solving Quantitative Reasoning Problems with Language Models – Google AI Blog http://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html 103 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- liamoc.net - Imperative Reasoning is Hard http://liamoc.net/posts/2013-11-13-imperativereasoning.html 42 comments
- Software – AMR https://amathr.org/software/ 33 comments
- Plumbers, chains, and famous painters: The (updated) history of the pipe operator in R | Adolfo Álvarez http://adolfoalvarez.cl/blog/2021-09-16-plumbers-chains-and-famous-painters-the-history-of-the-pipe-operator-in-r/ 20 comments
- GitHub - VictorTaelin/Cedille-Core: A minimal proof language. https://github.com/maiavictor/cedille-core 14 comments
- Implementing a vault in Bamboo. I saw vault.sol. It’s about protecting… | by Yoichi Hirai | Medium https://medium.com/@pirapira/implementing-a-vault-in-bamboo-9c08241b6755 14 comments
- Extracting a Verified Interpreter from Isabelle/HOL | Concerning Quality https://concerningquality.com/semantics-extraction-isabelle/ 13 comments
- Ethereum Virtual Machine for Coq (v0.0.2) | by Yoichi Hirai | Medium https://medium.com/@pirapira/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18#.bzip9vul9 13 comments
- Ethereum Virtual Machine for interactive theorem provers (version 0.0.1) | by Yoichi Hirai | Medium https://medium.com/@pirapira/ethereum-virtual-machine-for-interactive-theorem-provers-version-0-0-1-3a8014f1910f 13 comments
- GitHub - jepsen-io/elle: Black-box transactional safety checker based on cycle detection https://github.com/jepsen-io/elle 10 comments
- GitHub - nomeata/ghc-proofs: Let GHC prove program equations for you https://github.com/nomeata/ghc-proofs 9 comments
- GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
- Ten Ethereum-Related Projects You could Take | by Yoichi Hirai | Medium https://medium.com/@pirapira/ten-ethereum-related-pending-projects-you-could-take-c828a2dce88e 3 comments
- Google AI Developed a Language Model to Solve Quantitative Reasoning Problems https://www.infoq.com/news/2022/07/google-ai-minerva/ 2 comments
- TLA+ in Isabelle/HOL | David Turner says… https://davecturner.github.io/2018/02/12/tla-in-isabelle.html 2 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
- GitHub - seL4/l4v: seL4 specification and proofs https://github.com/seL4/l4v 1 comment
Related searches:
Search whole site: site:isabelle.in.tum.de
Search title: Isabelle
See how to search.