top new show ask jobs

▲ 3 points

Theorem Proving in Lean 4

leanprover.github.io

by surprisetalk·3y ago·0 comments·view on hn ↗

// no comments yet

built with astro · data from hacker newshn.reader