Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Cubitron Standard Abrasives Aluminum Oxide Medium Grit Metal Deburring Buff - 1" x 3/8", 2 PLY x 8-32 - Pack of 10

Ninja Foodi 7-in-1 Pressure, Slow Cooker, Air Fryer and More, with 5-Quart Capacity and 15 Recipe Book Inspiration Guide, and a High Gloss Finish

Erector by Meccano 10 in 1 Rally Racer Model Vehicle Building Kit, STEM Education Toy for Ages 8 & up

Rasta Imposta Ketchup Bunting

Last Trio Session

MECCANO Erector, Off-Road Rally, 15 Vehicle Model Building Set, 242 Pieces, for Ages 8 and up, STEM Construction Education Toy

Bath Oil Beads (Pearls) - Mixed Colors - The Way You Remember Them (Pack of 100)

Carter's Baby Girls' Print Romper (Baby) - Cones