- Updates on Ethereum’s Moon Project: formal proofs, parallel FVM and ideas for mass adoption https://medium.com/@maiavictor/updates-on-ethereums-moon-project-535f8c0497ef 16 comments ethereum
Linked pages
- home https://elm-lang.org/ 285 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- ATS (programming language) - Wikipedia https://en.wikipedia.org/wiki/ATS_(programming_language) 169 comments
- Devcon Bogotá, Oct 11 → 14 https://devcon4.ethereum.org/ 79 comments
- GitHub - VictorTaelin/abstract-calculus https://github.com/maiavictor/abstract-calculus 58 comments
- Ethereum http://www.reddit.com/r/ethereum/ 52 comments
- http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 34 comments
- GitHub - VictorTaelin/Cedille-Core: A minimal proof language. https://github.com/maiavictor/cedille-core 14 comments
Related searches:
Search whole site: site:medium.com
Search title: Updates on Ethereum’s Moon Project | by Victor Maia | Medium
See how to search.