Pages that link to "Item:Q4647561"
From MaRDI portal
The following pages link to More Church-Rosser proofs (in Isabelle/HOL) (Q4647561):
Displaying 1 item.
The following pages link to More Church-Rosser proofs (in Isabelle/HOL) (Q4647561):
Displaying 1 item.