Proving theorems using Julia's types (or, a mini-Lean in Julia)lmao.bearblog.dev1 point·LolWolf··0 commentsOpen articleSaveView on HN