Hacker News new | ask | show | jobs
by conformist 17 days ago
Yes in theory, but not yet in practice because not everything is fully formalised.