Isabelle (proof assistant) — странице које воде овамо

Пређи на навигацију Пређи на претрагу
Шта води овамо
⧼whatlinkshere-whatlinkshere-target⧽
⧼whatlinkshere-whatlinkshere-ns⧽
⧼whatlinkshere-whatlinkshere-filter⧽

Следеће странице воде на страницу Isabelle (proof assistant):

Приказује се 1 ставка.

Прикажи (претходних 50 | следећих 50) (20 | 50 | 100 | 250 | 500).
Прикажи (претходних 50 | следећих 50) (20 | 50 | 100 | 250 | 500).
Преузето из „https://sr.wiki.beta.math.wmflabs.org/wiki/Посебно:Шта_води_овамо/Isabelle_(proof_assistant)”