Skip to content

Top Best Ask Show New Jobs

Proving theorems using Julia's types (or, a mini-Lean in Julia) (opens in new tab)

(lmao.bearblog.dev)

1 pointsLolWolf11mo ago0 comments

0 comments

No comments yet.