Tier 2

Tier 2 platforms are those for which Lean is cross-compiled but not tested by our CI. Binary releases are available for these platforms.

Releases may be silently broken due to the lack of automated testing. Issue reports and fixes are welcome.