ocaml_util

A utility module for OCaml. Some properties of functions are proved by Coq.

Requirements

    $ make

    $ make verification

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
coq		coq
.gitignore		.gitignore
CoqList.ml		CoqList.ml
CoqList.mli		CoqList.mli
CoqStreams.ml		CoqStreams.ml
CoqStreams.mli		CoqStreams.mli
Datatypes.ml		Datatypes.ml
Datatypes.mli		Datatypes.mli
LICENSE		LICENSE
Logic.ml		Logic.ml
Logic.mli		Logic.mli
Make.coq		Make.coq
Makefile		Makefile
Makefile.coq		Makefile.coq
May.ml		May.ml
May.mli		May.mli
README.md		README.md
Specif.ml		Specif.ml
Specif.mli		Specif.mli
Streams.ml		Streams.ml
Streams.mli		Streams.mli
base64.ml		base64.ml
base64.mli		base64.mli
fromCoq.ml		fromCoq.ml
fromCoq.mli		fromCoq.mli
stringUtil.ml		stringUtil.ml
stringUtil.mli		stringUtil.mli
utf16.ml		utf16.ml
utf16.mli		utf16.mli
util.ml		util.ml
util.mli		util.mli