Proving theorems using Julia's types (or, a mini-Lean in Julia)https://lmao.bearblog.dev/julia-theorems/ by LolWolf • 12 months ago 1 0 12 months agoLMlmao.bearblog.dev