Description
Contributed ATS2 libraries extend projects that need functionality beyond the core language package. They are useful for ATS developers reusing community-maintained code in statically typed and proof-oriented programs.
Contributed libraries vary in maintenance and API stability. Review documentation and tests before depending on them in long-lived projects.