Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference41 articles.
1. Structured derivations: A unified proof style for teaching mathematics;Back;Form. Asp. Comput.,2010
2. MathEdit: Tool support for structured calculational proofs;Back,2007
3. Symmetric quotients and domain constructions;Berghammer;Inf. Process. Lett.,1989
4. Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science;Bertot,2004
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献