Commits

Branch selector

 master

User selector

All users

All time

Commit history

Commits on May 23, 2026

• MathStruct Lec 5

  Show description for 07839d3
  functionalCS

  authored
  07839d3

  Copy full SHA for 07839d3

• MathStruct Lec5 clarifying

  functionalCS

  authored
  6faa857

  Copy full SHA for 6faa857

• mathlec 5 explanation

  functionalCS

  authored
  bc8b996

  Copy full SHA for bc8b996

• mathstruct lec 5

  functionalCS

  authored
  6635463

  Copy full SHA for 6635463

Commits on May 14, 2026

• smol fix

  functionalCS

  authored
  bb55cf3

  Copy full SHA for bb55cf3

Commits on May 8, 2026

• lec 4 mathstruct

  functionalCS

  authored
  0511304

  Copy full SHA for 0511304

• time is the fire in which we burn

  functionalCS

  authored
  0e3d7aa

  Copy full SHA for 0e3d7aa

• github upload is rekt the abs state of microsoft

  functionalCS

  authored
  5adee7c

  Copy full SHA for 5adee7c

• rant

  functionalCS

  authored
  99004ce

  Copy full SHA for 99004ce

Commits on May 7, 2026

• Lec 4 mathstruct

  functionalCS

  authored
  9462008

  Copy full SHA for 9462008

Commits on May 6, 2026

• Lec 3 mathstruct

  functionalCS

  authored
  c06e4c9

  Copy full SHA for c06e4c9

• Lec 3 mathstruct

  functionalCS

  authored
  5a9c15e

  Copy full SHA for 5a9c15e

• Mathstruct lec 3 done

  functionalCS

  authored
  f895370

  Copy full SHA for f895370

• smol mistakes

  functionalCS

  authored
  a7b005c

  Copy full SHA for a7b005c

• Walkthru cs103

  functionalCS

  authored
  8da6282

  Copy full SHA for 8da6282

• Complete walkthru

  functionalCS

  authored
  c4a3728

  Copy full SHA for c4a3728

Commits on May 5, 2026

• math struct lec 3

  functionalCS

  authored
  6de3b25

  Copy full SHA for 6de3b25

• minor fix

  functionalCS

  authored
  2811f54

  Copy full SHA for 2811f54

• Math structures lec 2

  functionalCS

  authored
  bddafe5

  Copy full SHA for bddafe5

• Math structures lec 1

  functionalCS

  authored
  e28473c

  Copy full SHA for e28473c

Commits on May 4, 2026

• More Lean

  functionalCS

  authored
  e67f7de

  Copy full SHA for e67f7de

• Lean is the quirk chungus of proof assts

  functionalCS

  authored
  7e516da

  Copy full SHA for 7e516da

• weird python scope in Lean view

  functionalCS

  authored
  6e9af0a

  Copy full SHA for 6e9af0a

• many annoying Lean quirks

  functionalCS

  authored
  6c6ca29

  Copy full SHA for 6c6ca29

• weird lean scope

  functionalCS

  authored
  924f22d

  Copy full SHA for 924f22d

• annoying Lean quirks

  functionalCS

  authored
  6481363

  Copy full SHA for 6481363

• Everything that is going in 2026 and paywalled stuff removed

  functionalCS

  authored
  aad2479

  Copy full SHA for aad2479

Commits on May 3, 2026

• minor fix

  functionalCS

  authored
  3d24d6f

  Copy full SHA for 3d24d6f

• css fix

  functionalCS

  authored
  5b4dbf4

  Copy full SHA for 5b4dbf4

• emacs design fix

  functionalCS

  authored
  ac22684

  Copy full SHA for ac22684

• getting around custom tactics

  functionalCS

  authored
  517d9a0

  Copy full SHA for 517d9a0

• Mechanics of proof/topology lecturs

  functionalCS

  authored
  b3822e1

  Copy full SHA for b3822e1

Commits on May 2, 2026

• Proof book chapter 2.1x

  functionalCS

  authored
  12e2084

  Copy full SHA for 12e2084

• fix lean problems

  functionalCS

  authored
  c324d1f

  Copy full SHA for c324d1f

• Wordsmith, add Sterling quote

  functionalCS

  authored
  eb6ea8e

  Copy full SHA for eb6ea8e