Leaflet is an open-source JavaScript library for mobile-friendly interactive maps.
At the bottom left hand corner, the is a link to Leaflet. Clicking on this link will redirect to the Leaflet website (https://leafletjs.com/).
In here a detailed information about the platform has been provided, we recommend that the user should go through this website before using the tool.