Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
lib		lib
test		test
.gitignore		.gitignore
README.md		README.md
dune-project		dune-project
hfl.opam		hfl.opam

Repository files navigation

HFL

An OCaml library for manipulating higher-order fixed point logic (HFL) formulas.

Contributors

Hiroyuki Katsura
Kento Tanahashi

About

OCaml library for manipulaing HFL formulas

Custom properties

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages