yumh

writing about things, sometimes.

Posts tagged with #fstar

F* on OpenBSD

Written by Omar Polo on 25 March 2019.

It just works