Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 4, 2024

• Cauchy-Schwarz inequality shorter description

  madvorak

  authored
  c20c8dd

Commits on Oct 3, 2024

• rephrasing type coercion using suggestion by Michael Rothgang

  madvorak

  authored
  0f16b31

Commits on Sep 30, 2024

• Cauchy-Schwarz inequality explained

  madvorak

  authored
  5b548f5

Commits on Sep 23, 2024

• leftovers

  madvorak

  authored
  cc1ca57

• explicit vs implicit

  madvorak

  authored
  c50fab9

Commits on Sep 20, 2024

• comments on the fundamental theorem of algebra

  madvorak

  authored
  ae1e0de

Commits on Sep 18, 2024

• typo

  madvorak

  authored
  91c35db

Commits on Sep 17, 2024

• irrational_sqrt_two explained

  madvorak

  authored
  e420533

• the user

  madvorak

  authored
  bcb2d95

• matrix with rows indexed by

  madvorak

  authored
  9ee655d

• small improvement

  madvorak

  authored
  a5dbc19

• line

  madvorak

  authored
  b00dad8

• remark about generality

  madvorak

  authored
  77c3de2

• the toy lemmas explained

  madvorak

  authored
  1ec0f50

Commits on Sep 16, 2024

• examples

  madvorak

  authored
  f03ce83

• Create LICENSE

  madvorak

  authored
  1452242

• Create README.md

  madvorak

  authored
  2d6f631

• remove cached files

  madvorak

  committed
  86a7ecd

• two lemmas

  madvorak

  committed
  8711f31