A mechanized proof system of the third generation calculus in Coq

DOI10.1360/SSM-2019-0327OpenAlexW3119618113MaRDI QIDQ5064241

Yaoshun Fu, Liquan Guo, Wensheng Yu

Publication date: 21 March 2022

Published in: SCIENTIA SINICA Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1360/ssm-2019-0327

zbMATH Keywords

formalizationmechanized proofproof assistant Coqthird-generation calculus

Mathematics Subject Classification ID

Classical operational calculus (44A45) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Unnamed Item

This page was built for publication: A mechanized proof system of the third generation calculus in Coq