Proving F
Looking forward a why-3 formalization of F.ml Eventually, at least part of F.ml could be extracted from such a formalization.
Looking forward a why-3 formalization of F.ml Eventually, at least part of F.ml could be extracted from such a formalization.