proof-checker

Proof checker for natural deduction in propositional logic

Stars
9
View Code on GitHub View on X
Ecosystems: OCaml

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
dde

Pure Demand Operational Semantics

22 Nov 2022 5
proof-assistant-project

Template for the proof assistant project CSC_51051_EP.

13 Sep 2024 4
eio

Effects-based direct-style IO for multicore OCaml

02 Mar 2021 554
datalog

An in-memory datalog implementation for OCaml.

24 Dec 2012 254
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
ocaml-parser-example

09 Dec 2017 5
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
cppo

C-style preprocessor for OCaml

23 Nov 2011 107
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4
MPP-language-blender

MPP: a meta preprocessor that blends programming languages

24 Apr 2013 33
easier-proofs

A project which aim to help engineers to make proves easily

08 Nov 2021 14
ctypes-stubs-generation-notes

OCaml Ctypes stubs generation notes

25 Feb 2019 18
ocaml-for-pa

Introduction to OCaml for Program Analysis

04 Nov 2022 7
tinker

My toy language

23 Dec 2020 4