Hacker News
- Formality – An efficient programming language and proof assistant https://github.com/maiavictor/formality 23 comments
- Looking for a simple game to demonstrate an use case of proof languages (like Agda) https://github.com/maiavictor/formality 3 comments math
- Quick Formality updates https://github.com/maiavictor/formality 16 comments ethereum
- Formality: An efficient programming language and proof assistant https://github.com/maiavictor/formality 16 comments rust
- Sneak peek of Formality, an upcoming EVM-targeting language featuring formal proofs https://github.com/MaiaVictor/formality/blob/master/README.md 3 comments ethereum
- Preview of Formality, an upcoming EVM-targeting language featuring formal proofs https://github.com/maiavictor/formality 13 comments ethereum
- Sneak peek of Formality, a language combining formal proofs and optimal reductions https://github.com/maiavictor/formality 50 comments haskell
Linking pages
Linked pages
- Solving the mystery behind Abstract Algorithm’s magical optimizations | by Victor Maia | Medium https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07 60 comments
- GitHub - leanprover/lean: Lean Theorem Prover https://github.com/leanprover/lean 0 comments
- GitHub - moonad/FormCoreJS: A minimal pure functional language based on self dependent types. https://github.com/moonad/formcorejs 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - VictorTaelin/Formality
See how to search.