صداها

ابتدا معنا، سپس معادلات به عنوان اثبات. ریور بدنه آثار را به زبان زیسته، ناوبری و سنتز تلخیص می‌کند.

ابتدا معادلات، سپس استخراج معنا. کسرا ستون فقرات رسمی را می‌سازد: تعاریف، ناورداها و ساختار ابطال‌پذیر.

تحقیق + محصول. بدنه آثار و سیستمی که آن را منتشر می‌کند را می‌سازد.