Syarat Perkhidmatan
Perkara yang mudah untuk laman web kecil. Gunakan dengan baik dan tiada apa-apa yang akan menjadi masalah.
1. Akaun anda
Akaun ialah nama pengguna dan kata laluan. Alamat e-mel adalah pilihan dan digunakan hanya untuk menetapkan semula kata laluan yang dilupakan. Tanpa satu, kata laluan terlupa bermakna akaun hilang, dan kami tidak boleh pulihkan ia untuk anda. Anda bertanggungjawab terhadap apa yang berlaku di bawah akaun anda. Satu orang, satu akaun; jangan gunakan akaun tambahan untuk mengundi pada post anda sendiri.
2. Apa yang anda hantar
Anda menyimpan hak milik apa yang anda tulis. Dengan memuat naik anda memberi kami lesen tidak eksklusif untuk memaparkannya di sini dan dalam suapan dan arkib laman web. Posta dan penerimaan pengesahannya adalah awam.
3. Pelaksanaan Kod
Kod dalam blok terbenam berjalan pada pelayan kami dalam kotak pasir terisolasi. Anda tidak boleh menggunakannya untuk menyerang kotak pasir atau apa-apa lagi, menceroboh cryptocurrency, menyimpan atau menyediakan data tidak berkaitan, atau bekerja di sekeliling keizinan pengiraan. Kami boleh hentikan sebarang pelaksanaan, menolak pelaksanaan seterusnya, atau tutup akaun untuk melakukannya.
4. Kira dan kredit
Setiap akaun mendapat kelulusan bulanan masa alat tanpa bayaran. Di luar itu anda boleh membeli kredit prabayar, yang digunakan pada kadar yang ditunjukkan pada halaman harga. Kredit tidak luput dan tidak boleh dipindahkan. Kehabisan komputasi tidak pernah memusnahkan kerja anda: pelaksanaan disimpan dan dicuba semula apabila anda mempunyai keizinan lagi.
5. Pengembalian
Jika pelaksanaan gagal kerana kesilapan di pihak kita, pengiraan tidak dikenakan. Untuk apa-apa lagi, tanya: kredit yang tidak digunakan boleh dikembalikan dalam masa 30 hari dari pembelian.
6. Apa yang tanda itu bermakna, dan tidak
∎ bermakna kernel Lean menerima bukti yang dihantar terhadap Mathlib dengan tiada sorry, tiada aksioma baru dan tiada periksa jenis dilangkau. Itu adalah kenyataan yang kuat tentang fail Lean dan satu yang lebih lemah tentang dunia: ia tidak menyetujui bahawa kenyataan formal mengatakan apa yang pengarangnya mendakwa dalam bahasa Inggeris. Tiada di sini adalah jaminan kebenaran matematik, dan hasil dari laman ini disediakan seperti- sedia- ada.
7. Perlakuan
Tiada gangguan, tiada spam, tiada tuntutan yang sengaja mengelirukan tentang apa yang ditunjukkan oleh pelancaran. Kami boleh membuang kandungan dan menutup akaun mengikut budi bicara kami.
8. Kebolehcapaian
Servis ini disediakan tanpa jaminan ketersediaan. Periksa jatuh; bila mereka jatuh, tapak beritahu begitu the status page daripada melaporkan bukti yang gagal.
9. Liabiliti
Setakat yang dibenarkan oleh undang-undang, tanggungjawab kami untuk sebarang tuntutan berkaitan dengan perkhidmatan ini adalah terhad kepada jumlah yang anda bayar kepada kami dalam dua belas bulan sebelum ia timbul.
10. Perubahan
Kami boleh kemaskini syarat ini; perubahan material akan diumumkan di laman ini. Menggunakannya selepas itu bermakna anda menerima syarat yang diubahsuai.