easier-proofs

A project which aim to help engineers to make proves easily

Stars
14
Committers
3
View Code on GitHub View on X
Ecosystems: Coq, OCaml

Commit Statistics

Past Year

All Time

Total Commits
0
74
Total Committers
0
3
Avg. Commits Per Committer
0.0
24.67
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
4
Merged Pull Requests
0
2
Total Issues
0
1
Time to Close Issues
N/A
about 12 hours
Related Projects
ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134
proof-checker

Proof checker for natural deduction in propositional logic

22 Jan 2018 9
ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libr...

27 Feb 2013 485
coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

24 Oct 2019 25
cooltt

😎TT

20 Dec 2019 217
patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

12 Apr 2024 9
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
prolog

An implementation of Prolog written in OCaml

29 Nov 2017 2
dde

Pure Demand Operational Semantics

22 Nov 2022 5
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4
blott

An experimental type checker for a modal dependent type theory.

22 Jan 2019 107
datalog

An in-memory datalog implementation for OCaml.

24 Dec 2012 254
proof-assistant-project

Template for the proof assistant project CSC_51051_EP.

13 Sep 2024 4
ocaml-for-pa

Introduction to OCaml for Program Analysis

04 Nov 2022 7