DSiSc / why3Links
mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
☆13Updated 7 years ago
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below
Sorting:
- Examples and Guides☆10Updated last year
- Graph-based neural tactic prediction models for Coq.☆15Updated 4 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- a decentralized dataset generator and manipulator.☆13Updated this week
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated last month
- Set up an access point to your Bittensor Validator.☆14Updated 2 years ago
- ☆17Updated 2 years ago
- Connecting Everyone to Funding☆17Updated last year
- Conversational Agent for Twitter and Discord☆11Updated last week
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Updated 2 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Updated 2 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Updated 3 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Updated 4 years ago
- ☆66Updated last year
- Terraform framework for deploying [elizaos/eliza, swarms] ai agents☆25Updated 7 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆62Updated 3 weeks ago
- commune-ai blockchain node☆14Updated last month
- A formal proof of the Riemann Hypothesis for curves☆28Updated 3 weeks ago
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- zkvot - World's first fully live anonymous voting application!☆23Updated 10 months ago
- parser/viewer for olean files (lean 3)☆13Updated 6 years ago
- An EVM interpreter in Dafny☆135Updated last year
- A Formal Semantics of WebAssembly in K☆85Updated last week
- Chaucha functions for usage with Github Actions☆11Updated 5 years ago
- 👾 DX-focused decentralized zero-knowledge framework 🛸☆40Updated last year
- ☆13Updated 2 years ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆75Updated last month
- Regexp based tool for mutating generic source code across numerous languages☆150Updated last week