Documentation

Init.System.Platform

@[extern lean_system_platform_windows]
@[extern lean_system_platform_osx]
@[extern lean_system_platform_emscripten]