XBarnacle

swMATH19622MaRDI QIDQ31447FDOQ31447

Author name not available (Why is that?)

Cited In (4)

• Supporting the formal verification of mathematical texts
• Title not available (Why is that?)
• Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings
• Proof-search in type-theoretic languages: An introduction

This page was built for software: XBarnacle