Documentation

The manual for the lastest release

The reference manual for the FoCaLiZe language and system:

• refman.ps, size 1MB, (in PS format).
• refman.pdf, size 647KB, (in PDF format).
• refman.dvi, size 473KB, (in DVI format).

Tutorial: Implementing Sets

A tutorial for the FoCaLiZe language and system:

• tutorial.ps, size , (in PS format).
• tutorial.pdf, size , (in PDF format).
• tutorial.dvi, size , (in DVI format).

Tutorial: Playing with Proofs (Extended on 2013-01-21)

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

• tuto_proofs.ps, size , (in PS format).
• tuto_proofs.pdf, size , (in PDF format).
• tuto_proofs.dvi, size , (in DVI format).

The manual pages for the FoCaLiZe commands

• The manual for the focalizec compiler (Unix man page).
• The manual for the focalizedep make dependencies compiler (Unix man page).

Older versions

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