Tuesday, 09 June, 2026г.
russian english deutsch french spanish portuguese czech greek georgian chinese japanese korean indonesian turkish thai uzbek

пример: покупка автомобиля в Запорожье

 

Leibniz Equality implies Coq's Equality

Leibniz Equality implies Coq's EqualityУ вашего броузера проблема в совместимости с HTML5
We prove Leibniz equality implies Coq's equality. To do so requires an interesting instantiation. In the next video we prove a form of Cantor's Theorem: http://youtu.be/s_mbr2Hy3b0
Мой аккаунт