Alkemet News
F*: A general-purpose proof-oriented programming language (fstar-lang.org)

125 points

byducktective

9 hours ago |

48 comments