The following pages link to Obvious inferences (Q1100932):
Displaying 12 items.
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- Formalizing an analytic proof of the prime number theorem (Q2655322) (← links)
- Checking Proofs (Q2950035) (← links)
- Optimizing proof search in model elimination (Q4647531) (← links)
- Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- A Mizar mode for HOL (Q6567713) (← links)
