why3-tools

Tools to interact with why3 sessions

Stars
3
View Code on GitHub
Ecosystems: OCaml

Statistics for this project are still being loaded, please check back later.

Related Projects
query-json

Faster, simpler and more portable implementation of `jq` in Reason

05 Sep 2020 592
qcheck

QuickCheck inspired property-based testing for OCaml.

06 Oct 2013 345
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
dde

Pure Demand Operational Semantics

22 Nov 2022 5
hazel

Hazel, a live functional programming environment with typed holes

27 Jan 2017 659
proof-checker

Proof checker for natural deduction in propositional logic

22 Jan 2018 9
myntax

05 Sep 2016 51
ipc_solver

O(N log N)-space IPC solver in OCaml

20 Oct 2013 52
whycode

04 Oct 2021 17
aeneas

A verification toolchain for Rust programs

02 Nov 2021 112
alcotest

A lightweight and colourful test framework

12 Dec 2013 450
coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

24 Oct 2019 25
easier-proofs

A project which aim to help engineers to make proves easily

08 Nov 2021 14
proof-assistant-project

Template for the proof assistant project CSC_51051_EP.

13 Sep 2024 4