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

Read post on hnrss.org

Article URL: https://lmao.bearblog.dev/julia-theorems/Comments URL: https://news.ycombinator.com/item?id=44717060Points: 1# Comments: 0