The following pages link to (Q2723417):
Displaying 5 items.
- Nuprl (Q18826) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)