Tutorial - VerifiableRobotics/LTLMoPWeb3D GitHub Wiki

LTLMoPWeb3D is essentially the same as LTLMoP. There are minute differences, such as not having to save a project or going to a URL instead of inputting a terminal command, but the functionality and usage is almost entirely the same.

Therefore, in order to not recreate a highly similar tutorial and have to keep both tutorials up to date with each other and the current version of LTLMoP, please follow LTLMoP's tutorial.