The following pages link to (Q2852358):
Displaying 6 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)
- 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)
