The following pages link to XBarnacle (Q31447):
Displaying 4 items.
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings (Q1567498) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- (Q2723450) (← links)