A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse

Turnitin 降AI改写 早检测系统 早降重系统 Turnitin-UK版 万方检测-期刊版 维普编辑部版 Grammarly检测 Paperpass检测 checkpass检测 PaperYY检测
[Free GPT-4]
[DeepSeek]
[PDF] hal.science

Hydras & Co.: Formalized mathematics in Coq for inspiration and entertainment

P Castéran, J Damour, K Palmskog… - … Applicatifs: JFLA 2022, 2022 - hal.science
Hydras & Co. is a collaborative library of discrete mathematics for the Coq proof assistant,
developed as part of the Coq-community organization on GitHub. The Coq code is …
Salvar Citar Citado por 1 Artigos relacionados Todas as 6 versões Ver em HTML