AGPL-3.0-or-later · forever.

{"title":"stdlib","kindGlyph":"·","kind":null,"status":"ratified","opener":"proves the v0.1 library surface · the production default","rows":[{"label":"set","links":[{"label":"The conformance levels","href":"/proof"}]},{"label":"layer","value":"proof"},{"label":"member-of →","links":[{"label":"The conformance levels","href":"/proof"}]}],"door":{"label":"open the page","href":"/conformance/stdlib"}}

The conformance levels · 3/3

· stdlib

proves the v0.1 library surface · the production default

ratified · derived from the pinned spec and the released engine · re-proven at every push

set: The conformance levels
layer: proof
member-of →: The conformance levels

open the page