Marie Kerjean: Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
Автор: Centre International de Rencontres Mathématiques
Загружено: 2024-04-22
Просмотров: 1047
Описание:
CONFERENCE
Recording during the thematic meeting : « LEAN pour mathématiciens » the March 26 2024 at the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker : Luca Récanzone
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, bibliographies, Mathematics Subject Classification - Multi-criteria search by author, title, tags, mathematical area
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
