The Coq Proof Assistant, Reference Manual, Version 5.10
Bruno Barras,Samuel Boutin,Cristina Cornes,Judicael Courant,Jeanchristophe Filliâtre,Eduardo Gimenez,Hugo Herbelin,Gerard Huet,Cesar A Munoz,Chetan Murthy,Catherine Parent,Christine Paulinmohring, Amokrane Saibi,Benjamin Werner mag(1995)
关键词
proof assistant,higher order logic
AI 理解论文
溯源树
样例