coq və s. kimiləri olan və riyaziyyat teoremlərininin isbatlarını kompyuter proqramlaşdırma dillərinə çevirə bildiyimiz və bununla da asanlıqla isbatın doğru olub olmadığını yoxlaya biləcəyimiz vasitələr. voevodsky tərəfindən yaradılmış və topologiyadakı homotopiya anlayışına söykənən homotopy type theory hal-hazırda bu isbat köməkçiləri ilə işləmək üçün ən rahat namizəd nəzəriyyədir. azca kompyuter bilgisi, az-maz topologiya bilən varsa bu kitabı oxusun: <a href="https://www.heidelberg-laureate-forum.org/wp-content/uploads/2013/10/homotopy-type-theory_univalent-foundations-of-mathematics.pdf" style="rgba(25,148,218, 0.8)" target="_blank" class="sonses" rel="nofollow">https://www.heidelberg-laureate-forum.org/wp-content/uploads/2013/10/homotopy-type-theory_univalent-foundations-of-mathematics.pdf</a><br /> <br /> qeyd. homotopiya haqda asan öyrənmək üçün buyurun: <div style="display:inline;cursor:pointer" onClick="openClose('video_0tzcılvmpng')"><div style="display:inline;cursor:pointer" onClick="openClose('video_<img src="https://cdn1.iconfinder.com/data/icons/silk2/control_play.png" width="12" height="12">')">(youtube: <img src="https://cdn1.iconfinder.com/data/icons/silk2/control_play.png" width="12" height="12">)</i></div> <span style="display:none;margin-left: auto; margin-right: auto;" id="video_<img src="https://cdn1.iconfinder.com/data/icons/silk2/control_play.png" width="12" height="12">"> <iframe quality="high" width="100%" height="390px" allowFullScreen="true" src="https://www.youtube.com/embed/<img src="https://cdn1.iconfinder.com/data/icons/silk2/control_play.png" width="12" height="12">"></iframe> </span></i></div> <span style="display:none;margin-left: auto; margin-right: auto;" id="video_0tzcılvmpng"> <iframe quality="high" width="100%" height="390px" allowFullScreen="true" src="https://www.youtube.com/embed/0tzcılvmpng"></iframe> </span>