Publikaj kongruoj

Publikigitaj rulaĵoj, inkluzive de tiuj, kie la panelo ne povis atingi la baron. Tiu rezulto estas la punkto: formaligo la Lean kerno rifuzas diras al vi precize kiu paŝo la argumento neniam pravigis.

Kio apartenas ĉi tien

Tiu retejo estas konstruita por dedukta laboro: pura kaj aplikita matematiko, logiko, teoria komputiko, teoria fiziko kaj ekonomia teorio - asertoj kiuj estas solvita per pruvo prefere ol per eksperimento. Por empiriaj demandoj, kie la honesta verdikto estas trovo prefere ol teoremo, uzu nian fratinan retejon referee.chat anstataŭe.

Iri al referee.chat