зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 12:46:06 +02:00
5 строки
79 B
Plaintext
5 строки
79 B
Plaintext
Harper 1 2015 (40:00)
|
|
Heiting Algebra, preorder
|
|
--> soundness
|
|
<-- completeness
|