Reference
This section is the main reference for Kani. It contains sections that informally describe its main features.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
This section is the main reference for Kani. It contains sections that informally describe its main features.