The STELF Project
This is the System for Totality in the Edinbrugh Logical Framework (STELF). The STELF project is a fork of the Twelf project ported to OCaml. In addition, it consists of a number of updates and extensions to the original Twelf.
This is the System for Totality in the Edinbrugh Logical Framework (STELF). The STELF project is a fork of the Twelf project ported to OCaml. In addition, it consists of a number of updates and extensions to the original Twelf.