The manual for the lastest release

The reference manual for the FoCaLiZe language and system:

Tutorial: Implementing Sets

A tutorial for the FoCaLiZe language and system:

Tutorial: Playing with Proofs (Updated -- still few words to add) on 2014-03-06)

A tutorial for the FoCaLiZe language especially dedicated to proofs writing (these online versions are more recent than those of the distribution):

The manual pages for the FoCaLiZe commands

Older versions

The previous versions of FoCaLiZe documentation are still available in the oldies directory.


Last modification date: Thursday, March 6th, 2014 on host MacAPuche.local by user didou.
Copyright © 2005 - 2014 INRIA & LIP6, 2012 - 2014 ENSTA ParisTech, all rights reserved.