API Documentation - VerifiableRobotics/LTLMoPWeb3D GitHub Wiki

Back-end

  • application.py -- contains Flask router and currently all back-end functionality

Front-end

  • initializePhysics.js -- contains all code for the 3D scene and physics
  • The rest of the front end was created with Literate Programming, and can actually be viewed as Markdown documentation when viewed on GitHub.