Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
main.ml		main.ml
main.pdf		main.pdf
main.tex		main.tex
packages.tex		packages.tex

Repository files navigation

ProofTree Ocaml

Description

Implementation of a proof tree in Ocaml and rendering in LaTeX.

Usage

make

open main.pdf

Requirements

bussproofs.sty

Documentation

Read main.ml

Example

Read main.pdf

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages