Imvugiro y'ibikorwa
ya: A Gitoya Ipaji:. in na Oya Bya iyi.
1. Aderesi
Konti: ni A Izina ry' ukoresha na A Ijambobanga. Ibaruwa Aderesi: ni Bitari ngombwa na Kuri Gusubiramo A Ijambobanga. Without one, a forgotten password means the account is gone, and we cannot recover it for you. ya: Konti:. Umuntu, Rimwe Konti:; OYA Koresha Bidasanzwe Konti: Kuri ku.
2. Ishyiraho
Gushyiraho Bya. A - Kuri Kugaragaza: na in i Ipaji: na. na Verisiyo Bya rusange.
3. Igenzura ry' Inyandikoporogaramu
in A ku Seriveri: in. Gicurasi OYA Koresha Kuri i Cyangwa,, Kubika Cyangwa Ibyatanzwe, Cyangwa Akazi i. Gicurasi Icyo ari cyo cyose Gukoresha, Cyangwa Funga Konti: ya:.
4. Na
Konti: A Ukwezi: Bya Igihe Ku Oya. Gicurasi Kugura, ni Ku i Umubare ku i Ipaji:. OYA Gusiba na ni OYA. Ibisohoka Bya: i Gukoresha ni na Ryari:.
5. Isubiramo
A Gukoresha Bya A ku, i ni OYA., Gushaka: unused credit is refundable within 30 days of purchase.
6. i Igaragazambere, na OYA
∎ means the Lean kernel accepted a submitted proof against Mathlib with no sorry, Oya Gishya na Oya Ubwoko: -. ni A Ikiganiro Bigyanye i Idosiye na A Rimwe Bigyanye i: OYA i Ikiganiro in. ni A Bya Bijyanye n' imibare, na Ibisubizo Kuva: iyi Ipaji: Nka -.
7. Imiterere y'inyandiko
, Oya Ubutumwa, Oya A Gukoresha. Gukuraho Ibigize na Funga Konti: Ku.
8. Ububiko
Serivisi ni Bya. Gyayo Hasi; Ryari: i Ipaji: ku i Imimerere Ipaji: A Byanze.
9. Ibiro
i ku, ya: Icyo ari cyo cyose Kuri iyi Serivisi ni Kuri i Igiteranyo in i Mbere.
10. Amahinduka
We may update these terms; material changes will be announced on the site. Continuing to use it after that means you accept the revised terms.