Ну так, по мнению католической церкви с 1784 года капибара это рыба.
На что ни пойдёшь, если мяса хоцца...

А смысл? В рыбные дни постов есть можно?

Lean — это формальный язык и инструмент, созданный в первую очередь как proof assistant, т.е. помощник в формальном доказательстве логических утверждений. Это означает, что:
В Lean мы можем формально записывать не только сами модели, но и любые утверждения, условия и логику их взаимосвязей.
Lean предоставляет средства автоматической проверки и доказательства непротиворечивости, логичности и правильности этих утверждений.

Неплохо бы проверить логическую спекуляцию, что копибара это рыба.

Так думаю, назвали рыбой по незнанию, вряд ли им есть дело до трудностей поста индейцев Южной Америки, хотя может именно для индейцев и это было названо.
Кто знает, много воды утекло ...
..........
Вообще , практичнее считать, что если начальство говорит , что крокодилы летают , значит летают.

Ну и хорошо. Сказали рыба, значит рыба.

красивых женщин - на костры

для возможности обойти пост и жрать мясо.