x 1.00
Скачать видео

Семинар 4. Логика высшего порядка Isabelle/HOL