Men VScode-da Lean4 dan foydalanaman. Men 2 ta tablani oldim. Tab1 (x, 0) va tab2 (0, y) - ortogonal ko'rsatgichdagi 2 nuqta o'rnini ifodalaydi. Tab3 (0, 0) - ko'rsatgichning markazini ifodalaydi.
spam lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor creativity violence