Porting the Mathematical Components library to Hierarchy Builder

Porting the Mathematical Components library to Hierarchy Builder
复制标题

将数学组件库移植到 Hierarchy Builder

DOI:
--
复制
发表时间:
2021
期刊:
The Coq Workshop 2021, July 2, 2021, Jul 2021
影响因子:
--
通讯作者:
Anton Trunov
Anton Trunov
中科院分区:
--
文献类型:
--
作者:
Reynald Affeldt;Xavier Allamigeon;Yves Bertot;Quentin Canu;Cyril Cohen;Pierre Roux;Kazuhiko Sakaguchi;Enrico Tassi;Laurent Thery;Anton Trunov

文献摘要

相似文献