The entry point for LaTTe as a standalone tool.
This is mainly for certifying the core library (target certify
)
but other functionalities are provided, like listing axioms, etc.
The entry point for LaTTe as a standalone tool. This is mainly for certifying the core library (target `certify`) but other functionalities are provided, like listing axioms, etc.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close