Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 23, 2024

• toolchain updated

  siddhartha-gadgil

  committed
  3811a9d

  Copy full SHA for 3811a9d

Commits on Apr 18, 2024

• display tweaks

  siddhartha-gadgil

  committed
  ddcebe3

  Copy full SHA for ddcebe3

Commits on Mar 15, 2024

• more renaming, documentation

  siddhartha-gadgil

  committed
  ad9aa8c

  Copy full SHA for ad9aa8c

Commits on Mar 13, 2024

• more cleaning, renaming

  siddhartha-gadgil

  committed
  79f1cc8

  Copy full SHA for 79f1cc8

• renaming

  siddhartha-gadgil

  committed
  24b5008

  Copy full SHA for 24b5008

• documentation, some refactoring

  siddhartha-gadgil

  committed
  c7157c7

  Copy full SHA for c7157c7

Commits on Mar 12, 2024

• output tweaks

  siddhartha-gadgil

  committed
  194af11

  Copy full SHA for 194af11

Commits on Mar 11, 2024

• chessboard picture

  siddhartha-gadgil

  committed
  dde69ba

  Copy full SHA for dde69ba

• better formatting

  siddhartha-gadgil

  committed
  ea47d03

  Copy full SHA for ea47d03

Commits on Mar 10, 2024

• more purging

  siddhartha-gadgil

  committed
  6d4ef7b

  Copy full SHA for 6d4ef7b

• mathlib migration except DPLL sorry

  siddhartha-gadgil

  committed
  648b9f1

  Copy full SHA for 648b9f1

• more finseq reduction

  siddhartha-gadgil

  committed
  39f78b7

  Copy full SHA for 39f78b7

Commits on Mar 9, 2024

• some switch to Fin

  siddhartha-gadgil

  committed
  3ea6b8c

  Copy full SHA for 3ea6b8c

• more code cleanup

  siddhartha-gadgil

  committed
  c197e2e

  Copy full SHA for c197e2e

• improving proofs

  siddhartha-gadgil

  committed
  add055a

  Copy full SHA for add055a

Commits on Mar 8, 2024

• more polishing

  siddhartha-gadgil

  committed
  2e9be78

  Copy full SHA for 2e9be78

• cleaning code

  siddhartha-gadgil

  committed
  918702d

  Copy full SHA for 918702d

• renaming to make space for proper get etc

  siddhartha-gadgil

  committed
  883ce08

  Copy full SHA for 883ce08

• reducing FinSeq use

  siddhartha-gadgil

  committed
  bf7a826

  Copy full SHA for bf7a826

• using indexed inductives, other solutions

  siddhartha-gadgil

  committed
  5341c9e

  Copy full SHA for 5341c9e

Commits on Mar 7, 2024

• version update, repr tweaks

  siddhartha-gadgil

  committed
  abc43f3

  Copy full SHA for abc43f3

Commits on Jan 22, 2024

• removed unused variables

  siddhartha-gadgil

  committed
  36cb95f

  Copy full SHA for 36cb95f

• toolchain update, renaming to get

  siddhartha-gadgil

  committed
  44b64b9

  Copy full SHA for 44b64b9

• avoiding FinSeq; no effect

  siddhartha-gadgil

  committed
  476b3a6

  Copy full SHA for 476b3a6

• purging proved skip-inverse

  siddhartha-gadgil

  committed
  6c09554

  Copy full SHA for 6c09554

• avoiding proved skip

  siddhartha-gadgil

  committed
  551be9f

  Copy full SHA for 551be9f

• avoiding proved skip

  siddhartha-gadgil

  committed
  403fc0c

  Copy full SHA for 403fc0c

Commits on Sep 11, 2023

• elan updated

  siddhartha-gadgil

  committed
  945f2c0

  Copy full SHA for 945f2c0

• update to stable version

  siddhartha-gadgil

  committed
  ca11751

  Copy full SHA for ca11751

Commits on Dec 16, 2021

• tweaks for writeup

  siddhartha-gadgil

  committed
  4e45133

  Copy full SHA for 4e45133

Commits on Dec 14, 2021

• comments cleaned up

  siddhartha-gadgil

  committed
  eaecf47

  Copy full SHA for eaecf47

Commits on Dec 9, 2021

• terminology change: restrict -> reduce

  siddhartha-gadgil

  committed
  25ecf58

  Copy full SHA for 25ecf58

• some cleanup

  siddhartha-gadgil

  committed
  21cb2aa

  Copy full SHA for 21cb2aa

Commits on Dec 6, 2021

• README updated, slight cleanup

  siddhartha-gadgil

  committed
  5d003c4

  Copy full SHA for 5d003c4

Commits on Dec 3, 2021

• tweaks

  siddhartha-gadgil

  committed
  1c177a6

  Copy full SHA for 1c177a6

Pagination

Previous

Next