1. Calcul de a² ∧ (a b) ∧ b² et a² ∨ (a b) ∨ b²

    Calcul de a² ∧ (a b) ∧ b² et a² ∨ (a b) ∨ b²

    16
  2. Une preuve de l'inégalité : ∀x ∈ [0, π/2[, sin x ≤ x ≤ tan x

    Une preuve de l'inégalité : ∀x ∈ [0, π/2[, sin x ≤ x ≤ tan x

    17
  3. Mobvoi TicNote: The AI Recorder You Didn’t Know You Needed

    Mobvoi TicNote: The AI Recorder You Didn’t Know You Needed

    6
    2