🚨Open Theorems Alert #12
0x0012 :: Lokales Minimum Beweis: Haupttheorem
Eile! Belohnung endet in 14 Tagen. Reiche deinen Beweis ein oder hilf, das Theorem zu finanzieren.
Das Haupttheorem, das den binären Suchalgorithmus validiert.
>> Vorgeschlagener Schwierigkeitsgrad: Mittel
>> Belohnung: 41 $CTK
Reiche deinen Beweis ein oder trage zur Finanzierung bei.
Überprüfe die Wahrheit on-chain: https://t.co/pWkasgVFJz
#OpenMath #OpenTheorems #Rcoq
0x0012 :: Lokales Minimum Beweis: Haupttheorem
Eile! Belohnung endet in 14 Tagen. Reiche deinen Beweis ein oder hilf, das Theorem zu finanzieren.
Das Haupttheorem, das den binären Suchalgorithmus validiert.
>> Vorgeschlagener Schwierigkeitsgrad: Mittel
>> Belohnung: 41 $CTK
Reiche deinen Beweis ein oder trage zur Finanzierung bei.
Überprüfe die Wahrheit on-chain: https://t.co/pWkasgVFJz
#OpenMath #OpenTheorems #Rcoq