Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 19, 2025

• Merge pull request #22 from chasenorman/destruct

  Show description for 353609a
  chasenorman

  authored
  353609a

  Copy full SHA for 353609a

• destruct pre-release

  chasenorman

  committed
  4200103

  Copy full SHA for 4200103

Commits on Aug 17, 2025

• simplified and powerful destruct

  chasenorman

  committed
  a7b4dbf

  Copy full SHA for a7b4dbf

Commits on Aug 15, 2025

• v4.22.0

  chasenorman

  committed
  f07a2d1

  Copy full SHA for f07a2d1

• Merge branch 'master' of https://github.com/chasenorman/CanonicalLean into HEAD

  chasenorman

  committed
  ef6c605

  Copy full SHA for ef6c605

• destruct in negative position

  chasenorman

  committed
  0aa36a5

  Copy full SHA for 0aa36a5

Commits on Aug 6, 2025

• Merge pull request #20 from chasenorman/rewrite

  Show description for 81efdd9
  chasenorman

  authored
  81efdd9

  Copy full SHA for 81efdd9

• remove debug.json

  chasenorman

  committed
  b048bde

  Copy full SHA for b048bde

• version

  chasenorman

  committed
  58ed80b

  Copy full SHA for 58ed80b

• unfold to Nat.le

  chasenorman

  committed
  c86c3f3

  Copy full SHA for c86c3f3

• bugfixing

  chasenorman

  committed
  ee3222a

  Copy full SHA for ee3222a

• canonicalLean interface

  chasenorman

  committed
  17fa950

  Copy full SHA for 17fa950

Commits on Aug 5, 2025

• Monomorphize comments, some destruct

  chasenorman

  committed
  c2efd28

  Copy full SHA for c2efd28

Commits on Jul 25, 2025

• bugfixing

  chasenorman

  committed
  d976267

  Copy full SHA for d976267

Commits on Jul 20, 2025

• polishing

  chasenorman

  committed
  0345bbb

  Copy full SHA for 0345bbb

Commits on Jul 18, 2025

• some comments

  chasenorman

  committed
  2a6c1cf

  Copy full SHA for 2a6c1cf

Commits on Jul 17, 2025

• monomorphized constants have reduction rules

  chasenorman

  committed
  bee022e

  Copy full SHA for bee022e

• premise selection

  chasenorman

  committed
  dc22ee1

  Copy full SHA for dc22ee1

Commits on Jul 16, 2025

• completing the synthInstance idea

  chasenorman

  committed
  53cc00a

  Copy full SHA for 53cc00a

• nulled out types for premise instImplicits

  chasenorman

  committed
  94e7572

  Copy full SHA for 94e7572

• responding to config flags

  chasenorman

  committed
  b3d1c5b

  Copy full SHA for b3d1c5b

Commits on Jul 15, 2025

• original refine implementation

  chasenorman

  committed
  50e7941

  Copy full SHA for 50e7941

• some simp

  chasenorman

  committed
  8b183df

  Copy full SHA for 8b183df

Commits on Jul 14, 2025

• start of FromCanonical

  chasenorman

  committed
  ed5f1ca

  Copy full SHA for ed5f1ca

• dynlib bug fix

  chasenorman

  committed
  a9715a7

  Copy full SHA for a9715a7

• translation

  chasenorman

  committed
  2b33cc7

  Copy full SHA for 2b33cc7

Commits on Jul 10, 2025

• start of ToCanonical

  chasenorman

  committed
  57191ec

  Copy full SHA for 57191ec

Commits on Jun 30, 2025

• v4.21.0

  chasenorman

  authored
  062f62a

  Copy full SHA for 062f62a

• Canonical can use simp!

  chasenorman

  authored
  8b2f895

  Copy full SHA for 8b2f895

• v4.21.0

  chasenorman

  committed
  544a62a

  Copy full SHA for 544a62a

Commits on Jun 26, 2025

• some comments

  chasenorman

  committed
  4f796d5

  Copy full SHA for 4f796d5

Commits on Jun 22, 2025

• robustness 3

  chasenorman

  committed
  778f942

  Copy full SHA for 778f942

• remove simp lemmas below certain priority

  chasenorman

  committed
  7da5647

  Copy full SHA for 7da5647

• reduceCtorEq

  chasenorman

  committed
  abd5b8d

  Copy full SHA for abd5b8d

• robustness 2

  chasenorman

  committed
  7edefa5

  Copy full SHA for 7edefa5

Pagination

Previous

Next