Hacker News new | ask | show | jobs
by mazieres 4086 days ago
No. At least for the moment, the proofs are English language only.