Durchbruchswagen / FP_Project Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Project for Functional Programming course at uni

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Logic.ml		Logic.ml
Logic.mli		Logic.mli
README.md		README.md
fol.ml		fol.ml
fol.mli		fol.mli
fol_u.ml		fol_u.ml
fol_u.mli		fol_u.mli
peano.ml		peano.ml
peano.mli		peano.mli
proof.ml		proof.ml
proof.mli		proof.mli
utility.ml		utility.ml
utility.mli		utility.mli

Repository files navigation

Description

Simple proof assistant written in OCaml

About

Project for Functional Programming course at uni

Report repository

Releases

No releases published

Packages

No packages published

Languages