shlevy / cat-fiat

An attempt to formalize unix cat in fiat
12Updated 7 years ago

Related projects

Alternatives and complementary repositories for cat-fiat