尼古拉斯·佩尔蒂埃 🌐
2016年9月6日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
超级计算AFP
@文章{SuperCalc AFP,作者={尼古拉斯·佩尔蒂埃},title={叠加微积分的变体},journal={正式证据存档},月={9月},年份={2016年},注释={\url{https://isa-afp.org/entries/SuperCalc.html},形式证明开发},ISSN={2150-914x},}
旧版本: