ParentFull threadmazieres·No. At least for the moment, the proofs are English language only.View on HN