Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 9, 2025

• fix typo

  vihdzp

  committed
  b66fa13

  Copy full SHA for b66fa13

• small tiny golf

  vihdzp

  committed
  af296fc

  Copy full SHA for af296fc

Commits on Jan 6, 2025

• update config file

  vihdzp

  committed
  b2445e3

  Copy full SHA for b2445e3

• finish update!

  vihdzp

  committed
  ed86ecb

  Copy full SHA for ed86ecb

• Initial porting progress

  vihdzp

  committed
  f7b1526

  Copy full SHA for f7b1526

Commits on Nov 2, 2024

• fix lakefile

  vihdzp

  committed
  4d30aa1

  Copy full SHA for 4d30aa1

• disable autoimplicit

  vihdzp

  committed
  0ec0313

  Copy full SHA for 0ec0313

• add to read-me

  vihdzp

  committed
  f77df4c

  Copy full SHA for f77df4c

• bump lean version

  vihdzp

  committed
  4864452

  Copy full SHA for 4864452

Commits on Oct 3, 2024

• Add license

  vihdzp

  authored
  95d4f48

  Copy full SHA for 95d4f48

Commits on Sep 29, 2024

• Update README.md

  vihdzp

  authored
  402d8d2

  Copy full SHA for 402d8d2

• add docstring + readme

  vihdzp

  committed
  d75d3c6

  Copy full SHA for d75d3c6

• linter

  vihdzp

  committed
  6177505

  Copy full SHA for 6177505

• computable out

  vihdzp

  committed
  26f26ce

  Copy full SHA for 26f26ce

• tweaks

  vihdzp

  committed
  d1a16f9

  Copy full SHA for d1a16f9

• prove cardinality result!

  vihdzp

  committed
  00ba01d

  Copy full SHA for 00ba01d

• almost done!

  vihdzp

  committed
  7cc98b4

  Copy full SHA for 7cc98b4

• kerEdgeCornerEquiv progress

  vihdzp

  committed
  43643ea

  Copy full SHA for 43643ea

• value → cornerValue

  vihdzp

  committed
  e6c2014

  Copy full SHA for e6c2014

• prove edgeCornerEquiv_surjective

  vihdzp

  committed
  176e1cc

  Copy full SHA for 176e1cc

• start proving cardinality results

  vihdzp

  committed
  d681072

  Copy full SHA for d681072

• we did it!!!

  vihdzp

  committed
  440d21b

  Copy full SHA for 440d21b

Commits on Sep 28, 2024

• miscellaneous progress

  vihdzp

  committed
  3a66525

  Copy full SHA for 3a66525

• tweaks to stickers

  vihdzp

  committed
  1f58b0b

  Copy full SHA for 1f58b0b

• extra lemmas on stickers

  vihdzp

  committed
  6cc77c1

  Copy full SHA for 6cc77c1

• superflip example

  vihdzp

  committed
  9e00ab4

  Copy full SHA for 9e00ab4

• finish frompieces stuff

  vihdzp

  committed
  3b12228

  Copy full SHA for 3b12228

• Lean was NOT meant for this

  vihdzp

  committed
  98a13e8

  Copy full SHA for 98a13e8

• fix list weirdness

  vihdzp

  committed
  bdca6f5

  Copy full SHA for bdca6f5

Commits on Sep 27, 2024

• sticker stuff

  vihdzp

  committed
  e572c37

  Copy full SHA for e572c37

• solve corners

  vihdzp

  committed
  7233b8e

  Copy full SHA for 7233b8e

Commits on Sep 26, 2024

• Edge pieces are now solved!

  vihdzp

  committed
  6de1343

  Copy full SHA for 6de1343

• don't need nodup actually

  vihdzp

  committed
  c917f1a

  Copy full SHA for c917f1a

• progress solving edges

  vihdzp

  committed
  10ad2d1

  Copy full SHA for 10ad2d1

• begin solving edges

  vihdzp

  committed
  db27ea4

  Copy full SHA for db27ea4

Pagination

Previous

Next