Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Designing a Programming Language to Speedrun Advent of Code https://blog.vero.site/post/noulith 98 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
Related searches:
Search whole site: site:coq.inria.fr
Search title: Syntax extensions and notation scopes — Coq 8.16.0 documentation
See how to search.