Crowdly

Додати до Chrome

What does the tactic 'trivial' do in Lean?

✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.

What does the tactic

'trivial' do in Lean?

Automatically solve

goals

✅

Close a goal by

deriving a contradiction

❌

Modify the current

goal by replacing it with a new equivalent goal

❌

Rewrite occurrences

of a given expression

❌

Більше питань подібних до цього

Хочете миттєвий доступ до всіх перевірених відповідей на moodle.nottingham.ac.uk?

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!

Додати до Chrome

Telegram Instagram TikTok Question Bank

Умови використання Зв'яжіться з нами