Maseweranthu
Kusindikizidwa maulendo, kuphatikizapo amene pamene gulu sanathe kufika bar. Kuti zotsatira ndi nkhani: formalization Lean kernel amakana akukuuzani moyenera zimene njira mfundo nthawi zonse zoyenera.
Zomwe zili pano
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.
Pitani ku referee.chat