Pages that link to "Item:Q2106598"

The following pages link to \textsc{Prawf}: an interactive proof system for program extraction (Q2106598):

Displayed 2 items.

• Intuitionistic fixed point logic (Q2220485) ‎ (← links)
• Extracting total Amb programs from proofs (Q6166786) ‎ (← links)