Proving theorems using Julia's types (or, a mini-Lean in Julia) lmao.bearblog.dev 1 points by LolWolf 21 hours ago