Вопросы с тегом наклоняться

0 голосов

1 ответ

Как выполнить множественные исключения-исключения, которые все разделяют одну многомерную универсально-количественную гипотезу?

Kuba Ober / 28 февраля 2020

0 голосов

1 ответ

Как использовать `существующие.elim` в Lean?

Vox / 21 февраля 2020

2 голосов

1 ответ

Как можно доказать (¬ ∀ x, px) → (∃ x, ¬ px) из первых принципов LEAN?

Vox / 02 февраля 2020

0 голосов

1 ответ

Почему «переписать» ассоциативности не удается при доказательстве биномиальной теоремы в LEAN?

Vox / 21 января 2020

0 голосов

1 ответ

Как доказать два утверждения в логах высказываний c, используя LEAN?

Vox / 17 января 2020

1 голос

1 ответ

Как доказать дистрибутивность (свойство пропозициональной валидности 6) в LEAN?

Vox / 15 января 2020

1 голос

0 ответов

Как переключать типы в доказательстве теоремы Лин, когда константы задействованы?

Vox / 09 января 2020

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...