Results for why3

A highlight.js language grammar for the WhyML / Why3 verification platform.

No description provided.

Why3 AST and pretty printers

A minimal, verifiable ONNX runtime implementation in Rust

Hierarchical state machines (statecharts) with a declarative proc macro.

Procedural macro implementation for the hsmc crate.

Standard library of Creusot: provides specification macros, contracts for Rust standard library and logic helpers

Proc macro crate for creusot-std

Verus formal verification proofs for elicitation contract types

A syn parser for the Pearlite specification language in Creusot

Probabilistic contracts and verification - named after Kevin Flynn's acceptance of spontaneous perfection