Pages that link to "Item:Q2955752"

The following pages link to Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’ (Q2955752):

Displaying 4 items.

• From LCF to Isabelle/HOL (Q2280211) (← links)
• Computational logic: its origins and applications (Q4559535) (← links)
• ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (Q5037519) (← links)
• Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)