Name	Name	Last commit message	Last commit date
parent directory ..
LibBintree.v	LibBintree.v
LibRosetree.v	LibRosetree.v
LibSpmuSPF.v	LibSpmuSPF.v
LibStream.v	LibStream.v
LibStreamSPF.v	LibStreamSPF.v
README.md	README.md
t0_ToC.v	t0_ToC.v
t1_SynGuard.v	t1_SynGuard.v
t2_FO.v	t2_FO.v
t3_SO.v	t3_SO.v
t4_SPE.v	t4_SPE.v
t5_Bisim.v	t5_Bisim.v
t6_Indexed.v	t6_Indexed.v
t7_Extend1.v	t7_Extend1.v
t8_Extend2.v	t8_Extend2.v
t9_SAcc.v	t9_SAcc.v

Name

Last commit message

Last commit date

Tutorial of Coco

This directory src/tutorial is for the tutorial of Coco.

How to build HTML

To build the HTML document of the tutorial,

# in the directory src/tutorial
coqdoc t0_ToC.v

This tutorial consists of fourteen files, including four tutorial-library files.

Please refer to the /src/tutorial/t0_ToC.v file for details.