Me and my friends recently made a new world, an amplified one at that, on Minecraft and we got pretty far fairly quickly, but we still needed to start getting bookshelves for an enchantment table. We figured the best place to get books would be the library in the Stronghold. We get there, look around a lot and find absolutely nothing. We got pretty frustrated and copied the world, loaded the copy up on Creative and blew that place up until nothing was left.... Our conclusion was that there's no library, but we also noticed we never saw the portal either so now we're even more upset. Anyone care to try their luck, here's our seed: -3232189142115078594.
Ubergine you might be my guy for this lol. So probably obvious but cant find my end portal. Loaded in creative and started blasting with tnt and no luck. Even tried following eyes but they just stopped at the entrance for me. If you could find my end portal i would be forever grateful.
My survival seed was problematic finding the stronghold and end portal. After what felt like decades, I found the stronghold via "triangulation" of ender pearl throws. But finding the end portal was impossible. I went into creative and blew everything up looking for it, and I still couldn't find it.
After more ender pearl throws, I figured it out. As someone else said, the stronghold was under the ocean, and the stronghold was segregated by ocean water by like 20 blocks up and over.
Don't give up!! It is probably there. Just keep trying and you will find it!