Proving theorems using Julia's types (or, a mini-Lean in Julia) (lmao.bearblog.dev) 1 points by LolWolf 1y ago ↗ HN
0 comments
[ 3.8 ms ] story [ 11.8 ms ] threadNo comments yet.