The following pages link to INKA: The next generation (Q4647524):
Displaying 5 items.
- On terminating lemma speculations. (Q1854370) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Termination of algorithms over non-freely generated data types (Q4647505) (← links)
- Plagiator — A learning prover (Q5234707) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
