Fork Me on GitHub


An implementation of the CLF logical framework

Download this project as a .zip file Download this project as a tar.gz file

Installing Celf

Celf is available through the Smackage package management system, and can be installed with the following commands:

$ smackage refresh
$ smackage get celf
$ smackage make celf smlnj # (or mlton)
$ smackage make celf install
$ celf -h

If you download and unpack the .tar.gz or .zip files above or fork the Celf repository on Github, you can install Celf with either the SML/NJ or MLton compilers for Standard ML:

$ cd celf
$ make smlnj # (or mlton)
$ ./celf tests/change.clf


The GitHub wiki for Celf contains the best source of documentation:

For command line options, run celf -h.