Development environment licensing terms

I need to prove to my IT compliance team that Outsystems development environment ie service studio and integration studio are free. Is there any document or link? 

You could show them the download page? I mean, there's this page, but it's not explicitly talking about the IDEs (though it logically follows).

Thanks Kilian. Is there any other information available? 

This page I have already shared with them :-) 

Not that I know of, unfortunately. Sometimes things are so obvious, there's no documentation to support it :).