Giters

chluebi / prooftrees

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

prooftrees

A new attempt at a proofchecker/proofgenerator library, now in OCaml.

Using ocaml-flake-example by brendanzab

About

License:GNU General Public License v3.0

Languages

Language:OCaml 85.0%Language:Nix 15.0%