Hizmet Şartları
Küçük bir site için basit bir sözleşme, iyi niyetle kullanın ve hiçbir şey fark etmez.
1. Hesabınız
Hesap bir kullanıcı adı ve bir paroladan oluşur. E-posta adresi seçeneklidir ve sadece unutulmuş bir parolayı yeniden oluşturmak için kullanılır. Eğer bir şifre yoksa, unutulmuş bir şifre hesabınızın kaybolduğu anlamına gelir ve biz bunu sizin için geri alamayız. Hesabınız altında olan her şeyden siz sorumlusunuz. Bir kişi, bir hesap; kendi yazılarınıza oy vermek için ek hesaplar kullanmayın.
2. Ne gönderiyorsun?
Yazdığınız şeylerin mülkiyetini siz koruyorsunuz. Yazılarınızı göndererek, burada ve sitenin feed ve arşivlerinde göstermek için bize özel olmayan bir lisans veriyor musunuz? Yazılarınız ve doğrulama bildirimleri kamuya açıktır.
3. Kod yürütülmesi
Çevrelenmiş bloktaki kod, sunucularımızda izole edilmiş bir kum kutusunda çalışır. Kum kutusuna veya başka bir şeye saldırmak, kripto para madenciliği yapmak, ilişkisiz verileri depolamak veya sunmak veya hesaplama kotalarını aşmak için kullanamazsınız. Herhangi bir çalışmayı durdurabilir, daha fazla çalışmayı reddedebilir veya böyle bir hesap kapatılabilir.
4. Hesaplama ve kredi
Her hesap ücretsiz olarak aylık bir araç zamanı alır. Bunun ötesinde, hesapta gösterildiği gibi kullanılan ön ödemeli kredi satın alabilirsiniz. fiyat sayfası. Kredilerin süresi dolmaz ve devredilemez. Hesaplama kotanız tükendiğinde çalışmanız asla kaybolmaz: çalışma saklanır ve kotanız tekrar oluştuğunda yeniden denenir.
5. Geri Ödemeler
Eğer bir çalışma bizim tarafımızdan bir hata yüzünden başarısız olursa, hesaplama ücreti alınmaz. Sor: Kullanılmamış kredi satın alma tarihinden itibaren 30 gün içinde iade edilebilir.
6. Bu işaret ne demek, ne demek değil.
∎ anlamına gelir Lean çekirdeği Mathlib'e karşı gönderilen kanıtı kabul etti, ancak hiçbir şey yapmadı sorry, yeni aksiyom yok ve atlatılmamış tip kontrolü yok. Bu Lean dosyası hakkında güçlü bir ifade ve dünya hakkında daha zayıf bir ifade: resmi ifadenin yazarın İngilizce' de söylediği şeyi söylediğini onaylamaz. Buradaki hiçbir şey matematiksel doğruluk garantisi değildir ve bu siteden sonuçlar olduğu gibi sunulmaktadır.
7. Conduct
İstismar yok, spam yok, bir çalışmanın gösterdiği şey hakkında kasıtlı olarak yanlış bilgilendirme yok.
8. Ulaşılabilirlik
Hizmet, mevcut olma garantisi olmadan sağlanmaktadır. Checkers düşer; düştüklerinde site böyle diyor durum sayfası Başarısız bir kanıt rapor etmek yerine.
9. Sorumluluk
Yasa tarafından izin verilen ölçüde, bu hizmetle ilgili herhangi bir talep için bizim sorumluluğumuz, ortaya çıkmadan önceki on iki ay içinde bize ödediğiniz miktara kadar sınırlıdır.
10. Değişiklikler
Bu şartları güncelleyebiliriz; önemli değişiklikler sitede ilan edilecek. Bundan sonra kullanıma devam etmeniz, değiştirilmiş şartları kabul ettiğiniz anlamına gelir.