Sharuɗɗan Aikin
1. Abin da sabis ke yi
You submit a claim and a standard. We run it past a panel of AI models you select, plus a referee model that rules on acceptance criteria, and we attempt to formalise the result in Lean 4 against Mathlib. The output is a transcript, a set of rulings, a verdict, and where formalisation was attempted, the Lean result.
2. Mẽne ne fitarwa ne kuma ba shi ba
An fitar da fitarwa ta hanyar ɓangare na uku AI models kuma ba shawara ba ce. Ba shi da nasaba da doka, likita, kudi, injiniya ko shawara ta sana'a ta kowane irin, kuma ba a samar da wata alaƙa ta sana'a ta amfani da wannan sabis ba.
The referee ruling a criterion met is a statement about the evidence on record in that match. It is not a guarantee of correctness. AI models make mistakes, misread sources, and can fabricate citations despite instructions not to. @ action@ action: button
A successful Lean formalisation means the Lean kernel accepted a proof of the statement that was formalised, against the version of Mathlib in use at that time. It does not mean that statement is a faithful translation of what you asked, and choosing a formal statement that does not say what you meant is the most common way a formal result misleads. Read the formal statement, not only the verdict.
3. Abin da ke cikinka
You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.
Matches na da sirri bisa diff. Idan ka lissafa wani match na jama'a zai zama mai gani ga kowa da alaƙa kuma zai iya bayyana a cikin galeryinmu na jama'a. Kada ka wallafa wani match da ke da wani abu na sirri.
Kada ka aika da bayanai na sirri game da wasu, ko kuma ka aika da wani abu na sirri da ba ka da hakkin rabawa, ko kuma ka aika da wani abu da ba a yarda da shi ba.
QDialogButtonBox
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
Idan ka haɗa maɓallin ƙididdiga na kanka, za ka biya mai ba da sabis ɗinka kai tsaye kuma ba za mu biya wani kudin da ya shafi kowane tokeni ba. Bayan wannan adadin kyautar da aka bayyana, za a yi amfani da kudin ginin don rufe fanel, kayan aiki da ajiya.
Mu iya canza farashin da sanarwar. Canjawa ba zai taba amfani da kuɗin da aka sayi ba.
QDialogButtonBox
Kada ka yi amfani da sabis ɗin domin samar da abun ciki da zai iya lalata wasu, don kokarin fitar da mana shawarwarinmu ko umarnin tsarin, don canza tsayin kudin ko maƙallan farashin, ko kuma don sake sayar da damar ba tare da wata yarjejeniya ba. Kayan aikin aikace-aikacen lissafi na da amfani wajen tabbatar da zargi; kada ka yi amfani da shi don harin kowane tsarin.
QDialogButtonBox
%s: Muna dogara kan masu samar da nau'i na uku. Masu samarwa suna faɗi, suna canja nau'i, kuma suna daina amfani da su. A match da aka dakatar da shi don wani dalili an dakatar da shi kuma ana iya sake shi; ba mu karɓar kuɗi don aikin da bai faru ba. Ba mu tabbatar da samun damar da ba a dakatar da shi ba, kuma nau'i da ka yi amfani da shi a baya zai iya zama ba a samu ba.
QFileDialog
A mafi girma mataki da doka ta yarda, da sabis ne aka bayar kamar yadda shi ne ba tare da garantin ko wani irin. Mu total alhakin ga duk wani zargi ne iyaka zuwa ga adadin da ka biya mu a cikin watanni uku kafin da bukatar ta tashi. Ba mu da alhakin ga indirect ko sakamakon asara, ciki har da duk wani asarar da ke fitowa daga dogara a kan model fitarwa.
QSql
Za ka iya rufe asusunka a kowane lokaci, kuma za mu biya maka duk wani bashi da ba a yi amfani da shi ba.Za mu iya tsawaita asusun da ke karya waɗannan sharuɗɗan ko ke sanya sabis din cikin haɗari.
9. Canjawa, harshe da haɗin kai
Za mu iya sabunta wadannan sharudda; za a sanar da canje-canjen kayan a kan shafin.
@ action
Tambayoyi: QDialogButtonBox.