Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

Mini Phone Unlocked World's Smallest 3.0" HD Touch Screen Mini Smartphone Android Compact Mobile Phone for Kids &Students Cell Phone wih Quad-Core Dual SIM Face lD2GB+16GB Blue

ChaoQ Stylus Pen for Touchscreen, 3pcs High Sensitivity and Precision Stylus Pen for iPad iPhone Android and All Touch Screens (Black/Silver/Blue)

soyes Mini Phone 4G Unlocked World's Smallest Mini Smartphone 3.0'' Touch Screen Compact Mobile Phone for Kids & Students 2000mAh Battery Cell Phone with Dual SIM Quad Core Face ID GPS 3GB+32GB Black

soyes Mini Phone World's Smallest 3.0" HD Touch Screen Mini Smartphone Unlocked Android Compact Mobile Phone for Kids & Students Cell Phone wih Quad-Core Dual SIM Face ID 2GB+16GB Black

CAT S22 Smart Flip Phone Unlocked (16GB) 2.8" Touchscreen Rugged Cell Phone Android 11, IP68 Water Resistant, T-Mobile 4G LTE GSM Single Nano Slot, Come with Speedtalk SIM Card (Black)

Stylus (5 Pcs), 2-in-1 Stylus Pen for Touch Screen, High Precision and Sensitivity, Suitable for iPhone/ipad/Android Tablets, Compatible with All Touch Screens (Black/White/Blue/Rose Gold/Silver)

CAT S22 Rugged Flip Phone Unlocked (16GB) 2.8'' Touchscreen Smart Cell Phone Android 11, IP68 Water Resistant, 4G LTE GSM Single Sim (Black)