# content
Who Builds a House Without Drawing Blueprints? (2015) (via typesanitizer) — discussion

#formalmethods