Pages that link to "Item:Q5747782"
From MaRDI portal
The following pages link to Premise Selection in the Naproche System (Q5747782):
Displayed 5 items.
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System (Q5200117) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)