@ action

An wallafa gudun, ciki har da waɗanda fanel bai iya isa bar ba. Wannan sakamakon shine ma'anar: wani tsari da Lean kernel ke ki ya gaya maka daidai wane mataki ne maganganun ba su da wani dalili.

Babu ma'aunin jama'a har yanzu. Ka fara daya kuma ka wallafa shi idan ya ƙare.
@ action

This site is built for deductive work: pure and applied mathematics, logic, theoretical computer science, theoretical physics and economic theory — claims that are settled by proof rather than by experiment. For empirical questions, where the honest verdict is a finding rather than a theorem, use our sister site referee.chat instead.

Go to referee.chat