Il-gallerija pubblika

Ippubblikat runs, inklużi dawk fejn il-panel ma setgħux jilħqu l-bar. Dak ir-riżultat huwa l-punt: formalizzazzjoni l-kernel Lean jirrifjuta jgħidlek eżattament liema pass l-argument qatt ġustifikat.

X'inhu jappartjeni hawn

Dan is-sit huwa mibni għal xogħol deduttiv: matematika pura u applikata, loġika, xjenza teoretika tal-kompjuter, fiżika teoretika u teorija ekonomika — pretensjonijiet li huma solvuti permezz prova aktar milli permezz esperiment.Għal mistoqsijiet empiriċi, fejn il-verdict onest huwa sejba aktar milli teorema, uża s-sit sister tagħna referee.chat minflok.

Mur f’referee.chat