honk Directory Reference

Directories
directory	proof_system
directory	utils