# Reference

This section is the main reference for Kani.
It contains sections that informally describe its main features.