Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 21, 2024

• feat(M7.2): Fully proven. (#59)

  kylechui

  authored
  46bdb59

  Copy full SHA for 46bdb59

Commits on Jun 19, 2024

• feat: Prove Lemma M7.5. (#58)

  Show description for b5ef8ba
  kylechui

  authored
  b5ef8ba

  Copy full SHA for b5ef8ba

Commits on Jun 17, 2024

• feat(M7.4): Fully proven. (#57)

  Show description for ee490f0
  kylechui

  authored
  ee490f0

  Copy full SHA for ee490f0

• feat(M7.3): Fully proven. (#56)

  kylechui

  authored
  9358dad

  Copy full SHA for 9358dad

• feat: State section 7. (#55)

  Show description for 5aefe4e
  kylechui

  authored
  5aefe4e

  Copy full SHA for 5aefe4e

• feat: Update `coq-lsp`. (#54)

  kylechui

  authored
  aaebf3f

  Copy full SHA for aaebf3f

Commits on Jun 5, 2024

• Merge pull request #53 from kylechui/feat/prove-7.1

  Show description for 2d335e9
  ArshMalik02

  authored
  2d335e9

  Copy full SHA for 2d335e9

Commits on Jun 4, 2024

• feat(M7.1): Stated + proven.

  Show description for 4f7ff06
  kylechui

  committed
  4f7ff06

  Copy full SHA for 4f7ff06

• Update README (#52)

  Show description for 5778e79
  ArshMalik02

  authored
  5778e79

  Copy full SHA for 5778e79

• refactor: Massive restructuring. (#47)

  Show description for 7932b44
  kylechui

  authored
  7932b44

  Copy full SHA for 7932b44

• feat(M5.1): State and prove. (#44)

  Show description for d23fb0b
  

  kylechui

  and

  ArshMalik02

  authored
  d23fb0b

  Copy full SHA for d23fb0b

• feat: State and prove the rest of section 6. (#49)

  Show description for 0d03142
  kylechui

  authored
  0d03142

  Copy full SHA for 0d03142

Commits on May 31, 2024

• I have revised the list of lemmas that I found in Main.v (#50)

  Show description for 4f85202
  

  palsberg

  and

  Jens Palsberg

  authored
  4f85202

  Copy full SHA for 4f85202

Commits on May 29, 2024

• feat(M6.1): State and prove. (#48)

  Show description for 18d0ede
  kylechui

  authored
  18d0ede

  Copy full SHA for 18d0ede

Commits on May 26, 2024

• refactor: Quite a few improvements/rewrites. (#46)

  Show description for ad8d809
  kylechui

  authored
  ad8d809

  Copy full SHA for ad8d809

• feat: Prove `diag4_unitary`. (#45)

  Show description for 689acd2
  kylechui

  authored
  689acd2

  Copy full SHA for 689acd2

Commits on May 23, 2024

• feat(M4.4): Fully proven. (#43)

  Show description for 3ead396
  kylechui

  authored
  3ead396

  Copy full SHA for 3ead396

Commits on May 22, 2024

• feat(M4.3): Fully prove. (#40)

  Show description for abb4f57
  kylechui

  authored
  abb4f57

  Copy full SHA for abb4f57

• perf: Massive speedups (#42)

  Show description for 5dba765
  

  nvaishampayan517

  and

  kylechui

  authored
  5dba765

  Copy full SHA for 5dba765

Commits on May 21, 2024

• feat(M3.3): Remove `c, d <> C0` stipulation. (#41)

  kylechui

  authored
  c06e964

  Copy full SHA for c06e964

Commits on May 20, 2024

• feat(M4.1): Prove lemma. (#39)

  Show description for bf6aa96
  kylechui

  authored
  bf6aa96

  Copy full SHA for bf6aa96

Commits on May 14, 2024

• fix(M3.1): Uncomment. (#38)

  kylechui

  authored
  809915e

  Copy full SHA for 809915e

• feat(M3.3): Fully stated and formalized. (#37)

  Show description for 69c59f1
  kylechui

  authored
  69c59f1

  Copy full SHA for 69c59f1

Commits on May 7, 2024

• refactor(M3.2): Rewrite eigenvalues definition. (#36)

  Show description for 54689d3
  kylechui

  authored
  54689d3

  Copy full SHA for 54689d3

Commits on Apr 15, 2024

• New quantumlib updates (#35)

  Show description for b9a1aaa
  

  kylechui

  and

  nvaishampayan517

  authored
  b9a1aaa

  Copy full SHA for b9a1aaa

Commits on Apr 1, 2024

• ci: Update `coq-quantumlib` to 1.4. (#34)

  Show description for b261e65
  kylechui

  authored
  b261e65

  Copy full SHA for b261e65

Commits on Mar 31, 2024

• Merge pull request #33 from nvaishampayan517/update_to_8.18

  Show description for 255e910
  nvaishampayan517

  authored
  255e910

  Copy full SHA for 255e910

• updated other properties adn tesnor products

  nvaishampayan517

  committed
  1a233d1

  Copy full SHA for 1a233d1

• updated unitary/vectors to 8.18

  nvaishampayan517

  committed
  f3643e8

  Copy full SHA for f3643e8

• fixed matrix helpers for 8.18

  nvaishampayan517

  committed
  a9d8a9d

  Copy full SHA for a9d8a9d

• fixed warnings in algebrahelpers

  nvaishampayan517

  committed
  21b3483

  Copy full SHA for 21b3483

Commits on Mar 14, 2024

• Moved non lemma proof to matrix helpers (#32)

  Show description for da376eb
  nvaishampayan517

  authored
  da376eb

  Copy full SHA for da376eb

Commits on Mar 6, 2024

• turns out the lemma in quantumlib is slightly different. (#31)

  nvaishampayan517

  authored
  9ae2070

  Copy full SHA for 9ae2070

• turns out the lemma in quantumlib is slightly different.

  nvaishampayan517

  committed
  5798d5d

  Copy full SHA for 5798d5d

Commits on Feb 25, 2024

• Finshed Lemma A24 (#29)

  Show description for 4ea30cd
  nvaishampayan517

  authored
  4ea30cd

  Copy full SHA for 4ea30cd

Pagination

Previous

Next