These files are not provided. If you aren’t using Rojo yet, I recommend looking into that.
If you’re still using the Roblox Studio script editor (seriously, stop!), you can just copy and paste this file into a ModuleScript. The Promise library is only one file, so this will work just fine.
I’ll make a note to include a section on how to get the library in the docs. Thanks for bringing it up.