3
Я хочу видеть все аксиомы, которые использовались моим доказательством. Каковы самые простые способы получения такой информации? Какие команды или скрипты или инструменты я буду использовать? Меня интересуют либо все аксиомы, либо все используемые аксиомы.Показать все аксиомы Coq