Yes every part of the okra is edible including the seeds so you can cook the okra with the seeds in them without removing them and eat the seeds along with the okra.
I never remove the seeds from any okra I cook and just eat them in the okra and the okra seeds have health benefits as well.
Okra seeds also provide fiber and nutrients and can help with digestion issues as well.
You can remove the okra seeds if you prefer to do so but there's no need to remove the okra seeds and I find the okra is better with the seeds in the okra.
Some people prefer to remove the okra seeds but others including myself just leave the okra seeds in the okra as the okra seeds are edible and very safe to eat and very healthy for you as well.