Hacker News new | ask | show | jobs
by Frummy 395 days ago
Now imagine it with theorems as entities and lean proofs as relationships