XBarnacle

swMATH19622MaRDI QIDQ31447FDOQ31447

Author name not available (Why is that?)

Official website: https://doi.org/10.1007/3-540-63104-6_39

Cited In (7)

• ProofWidgets
• 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
• SKIL
• jsCoq
• Proof-search in type-theoretic languages: An introduction

This page was built for software: XBarnacle