A Verified Efficient Implementation of the Weighted Path Order by René Thiemann 🌐 and Elias Wenninger Jun 01