Pages that link to "Item:Q2852358"
From MaRDI portal
The following pages link to Hiproofs: a hierarchical notion of proof tree (Q2852358):
Displaying 8 items.
- Tactics for hierarchical proof (Q626933) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- MikiBeta : A General GUI Library for Visualizing Proof Trees (Q3003488) (← links)
- (Q4413893) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- A Tactic Language for Hiproofs (Q5505516) (← links)
- Formal ontology and mathematics. A case study on the identity of proofs (Q6652800) (← links)