top new show ask jobs

▲ 4 points

Logic and Mechanized Reasoning

avigad.github.io

by nill0·1y ago·0 comments·view on hn ↗

// no comments yet

built with astro · data from hacker newshn.reader