2 ms·yep. "Formal specification layers " aka code.by perfunctory 5mo agoyep. "Formal specification layers " aka code.