Nhazi ọrụ

Akwụkwọ akọwapụtara maka ebe nchọgharị obere. Jiri ya n'ụzọ dị mma na ọ gaghị adị mkpa.

1. Akaụntụ gị

Akaụntụ bụ aha ojieme na paswọọdụ. Ebe ozi-e bụ nke n'aka ekpe ma ejiri ya na-ewepụ paswọọdụ a hụghị n'anya. N'enweghị otu, okwuntughe a hụghị anya pụtara na akaụntụ ahụ ehichapụla, na anyị agaghị enwe ike ịnaghachi ya maka gị. I nwere ikike n'ihe na-eme n'okpuru akaụntụ gị. Onye otu, akaụntụ otu; achọghị ka ị jiri akaụntụ ndị ọzọ na-edebe ndepụta n'ihe.

2. Ihe ị na-edepụta

I na-echekwa ikikembanye nke ihe ị na-ede. N'ịgbapụta ị na-enye anyị ikikembanye nke na-enweghị n'aka iji gosi ya ebe a na n'ime saịtị's feeds na archives. Nbanye na nkwenye ha bụ nke ndị mmadụ.

3. Nhazi

Kóòdù ná bloku fenced na-arụ ọrụ na sava anyị na sándbox. I nwere ike iji ya rụpụta sándbox mọọbụ ihe ọbụla ọzọ, wepụ kriptọ̀ọ̀tụ̀ọ̀, chekwa ma ọ bụ rụpụta data na-enweghị njikọ, ma ọ bụ ọrụ n'ụdị. Anyị nwere ike igbochi ọrụ ọbụla, hapụ ọrụ ndị ọzọ, ma ọ bụ mechie akaụntụ maka ime nke a.

4. Ihe n'ime

Akaụntụ ọbụla na-enweta ọnwa n'ụbọchị nke oge ihenhọrọ na-enweghị ụgwọ. N'ebe ọbụla ị nwere ike ịzụta kredit prepaid, nke a na-eji na ọnụọgụgụ egosipụtara na peeji nke pricing. N'ihi na ọ gaghị agwụ n'oge na ọ gaghị atụgharị. Ọ bụrụ na ịga n'ihu n'ime nrụọrụ ahụ, ọ gaghị akwụsị ọrụ gị: a ga-echekwa mmegharị ahụ ma ọ bụ jiri ya n'ọdịnihu mgbe ị ga-enwe ike.

5. Nhazi

Ọ bụrụ na mmegharị ahụ ehichapụ n'ihi na nsogbu na ebe anyị, ọ dịghị akwụ ụgwọ n'ihe nlekọta ahụ. Maka ihe ọbụla ọzọ, jụọ: credit na-ejighị n'aka bụ refundable n'ime ụbọchị 30 nke ịzụta.

6. Gịnị bụ ihe ngosi ahụ pụtara, na ọ bụghị

∎ pụtara na Lean kernel akwadola ihe ngosipụta e bipụtara megide Mathlib na ọbụla sorry, ọ dịghị axiom ọhụrụ na ọ dịghị akwụsịrị ụdị-nnyocha. Ọ bụ nkọwa siri ike banyere faịlụ Lean na otu nke dị njọ banyere ụwa: ọ dịghị egosi na nkọwa nke usoro iheomume na-ekwu ihe onye edemede ya na-ekwu n'asụsụ Bekee. Ihe ọ bụla ebe a bụ nkwekọrịta nke n'eziokwu mathematik, na nsonaazụ site na ebe a bụ nke a na-enye dịka-ọ bụ.

7. Nhazi

No harassment, no spam, no deliberately misleading claims about what a run showed. We can remove content and close accounts at our discretion.

8. Nhazi

Nrụọrụ ahụ a na-enyebeghị n'enweghị nkwekọrịta nke nrụọrụ ahụ. Ndị na-enyocha na-apụ; mgbe ha na-eme ya, ebe ahụ na-ekwu ya the status page n'ebe ọbụla n'ebe ọbụla.

9. Nhazi

N'ihe gbasara iwu, anyị nwere ike ịna-ajụ gị maka ihe ọ bụla gbasara ọrụ a, mana ọ ga-adabere na ego ị na-akwụ anyị n'ime ọnwa iri abụọ tupu ọ malite.

10. Ngbanwe

Anyị nwere ike ịgbanwe ọnọdụ ndị a; mgbanwe ndị dị mkpa ga-egosipụta na saịtị ahụ. Ịga n'ihu iji ya mgbe ahụ pụtara na ịnabata ọnọdụ ndị a gbanwere.

Ajụjụ.