10Ciepło
3Odpowiedz
Jak założyć drugi przypadek dowodu Isabelle/Isar w konkretnych przypadkach?
7Ciepło
2Odpowiedz
Dowód tożsamości w Sprzeczności w Isabelle?
6Ciepło
1Odpowiedz
Wywoływanie Nitpick i Sledgehammer razem w Isabelle
8Ciepło
3Odpowiedz
Jak mogę łatwo napisać prostą taktykę na poziomie ML Isabelle?
5Ciepło
2Odpowiedz
Drop przesłankę w celu zastosowania w stylu
6Ciepło
3Odpowiedz
Czy nie można importować żadnej teorii w Isabelle?
7Ciepło
3Odpowiedz
Jaka zasada ma zastosowanie "zastosuj (zasada)" lub "dowód"?