- Introducing hax: a subset of safe Rust which can be translated into multiple proof environments https://hacspec.org/blog/posts/hax-v0-1/ 6 comments programminglanguages
Linked pages
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 191 comments
- JSON Schema https://json-schema.org/ 157 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- GitHub - EasyCrypt/easycrypt: EasyCrypt: Computer-Aided Cryptographic Proofs https://github.com/EasyCrypt/easycrypt 5 comments
- GitHub - hacspec/hax: A Rust verification tool https://github.com/hacspec/hax 0 comments
Related searches:
Search whole site: site:hacspec.org
Search title: Introducing hax 🎂 | hax
See how to search.