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.4 ms ] story [ 31.3 ms ] threadNo comments yet.