Înapoi la articole →

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 6
  1. An underappreciated Lean feature

  2. Floats in Lean 4.33

  3. Freyd-Mitchell and Gabriel-Popescu

  4. Lean has iterators now

  5. The largest divisor