Syarat Dinas
Istilah yang sederhana untuk sebuah situs kecil. gunakan dengan itikad baik dan semua ini tidak akan masalah.
1. Akun Anda
Akun adalah nama pengguna dan sandi. Alamat surel opsional dan hanya dipakai untuk mengatur ulang sandi yang terlupakan. Tanpa satu, password yang terlupakan berarti rekeningnya hilang, dan kami tidak bisa mengembalikannya untukmu. Satu orang, satu akun; jangan gunakan akun tambahan untuk memilih pada postingan Anda sendiri.
2. Apa yang kau posting
Anda tetap memiliki apa yang anda tulis dengan posting anda memberikan kami ijin non-eksklusif untuk menampilkannya di sini dan di situs feed dan arsip.
3. Eksekusi kode
Kode dalam blok pagar berjalan pada server kami dalam sebuah kotak pasir terisolasi. Anda mungkin tidak menggunakannya untuk menyerang kotak pasir atau apa pun, cryptocurrency saya, toko atau melayani data yang tidak berhubungan, atau bekerja di sekitar perhitungan saku. Kita mungkin menghentikan berjalan, menolak lebih lanjut, atau menutup akun untuk melakukannya.
4. Compute dan kredit
Setiap akun mendapat jatah bulanan alat waktu tanpa biaya. Selain itu Anda dapat membeli kredit prabayar, yang dihabiskan pada tingkat yang ditunjukkan pada Halaman pricing. Kredit tidak berakhir dan tidak dapat ditransfer. Kehabisan perhitungan tidak pernah menghancurkan pekerjaan Anda: dijalankan terus dan dicoba ulang ketika Anda memiliki jatah lagi.
5. Pengembalian
Jika sebuah kegagalan karena kesalahan di pihak kita, perhitungan tidak akan dikenakan biaya. tanya: kredit tidak digunakan dapat dikembalikan dalam waktu 30 hari pembelian.
6. Apa arti tanda itu, dan tidak
∎ berarti kernel Lean menerima bukti yang diajukan terhadap Mathlib dengan tidak sorry, tidak ada axiom baru dan tidak melewatkan tipe pemeriksaan. Itu adalah pernyataan yang kuat tentang file Lean dan yang lemah tentang dunia: itu tidak menyatakan bahwa pernyataan formal mengatakan apa yang dikatakan penulis dalam bahasa Inggris. Tidak ada di sini adalah jaminan kebenaran matematika, dan hasil dari situs ini disediakan sebagai-is.
7. Lakukan
Tidak ada pelecehan, spam, tidak ada klaim menyesatkan tentang apa yang ditunjukkan.
8. Ketersediaan
Layanan disediakan tanpa garansi ketersediaan. Checkers turun; ketika mereka melakukan situs mengatakan demikian di halaman status daripada melaporkan bukti yang gagal.
9. Kewajiban
Sejauh yang diizinkan oleh hukum, kewajiban kami untuk setiap klaim berkaitan dengan layanan ini terbatas pada jumlah yang Anda bayar kami dalam dua belas bulan sebelum muncul.
10. Perubahan
Kita dapat memperbarui istilah-istilah ini; perubahan material akan diumumkan di situs.