← Вернуться в архив

Материалы с тегом verification

1

Lean: introduction fp · 29.10 · ⌗

В текущей серии постов я хочу уложить некоторые вещи в собственной голове, получить простую шпаргалку на русском языке, а также помочь проникнуться системой тем, кому по какой-то неведомой причине влом читать книжку, что тем не менее сделать обязательно нужно.

↑↓ навигация ↵ открыть esc закрыть