Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 19, 2025

• Update proof-strategies.md

  daemon

  authored
  e55e387

  Copy full SHA for e55e387

• Update proof-strategies.md

  daemon

  authored
  8497d30

  Copy full SHA for 8497d30

Commits on Aug 18, 2025

• Update proof-strategies.md

  daemon

  authored
  71f3b6c

  Copy full SHA for 71f3b6c

Commits on Aug 7, 2025

• Update proof-strategies.md

  daemon

  authored
  722d6e9

  Copy full SHA for 722d6e9

Commits on Aug 5, 2025

• Update proof-strategies.md

  daemon

  authored
  bf10866

  Copy full SHA for bf10866

Commits on Aug 4, 2025

• Update proof-strategies.md

  daemon

  authored
  2a5d8f1

  Copy full SHA for 2a5d8f1

• Update proof-strategies.md

  daemon

  authored
  4159f04

  Copy full SHA for 4159f04

• Update proof-strategies.md

  daemon

  authored
  009c463

  Copy full SHA for 009c463

• Update proof-strategies.md

  daemon

  authored
  3f77354

  Copy full SHA for 3f77354

Commits on Jul 28, 2025

• Update proof-strategies.md

  daemon

  authored
  98fe624

  Copy full SHA for 98fe624

Commits on Nov 7, 2022

• Update README.md

  daemon

  authored
  9e5d874

  Copy full SHA for 9e5d874

Commits on Feb 11, 2022

• Rename presentations to presentations.md

  daemon

  authored
  9f63012

  Copy full SHA for 9f63012

• Create presentations

  daemon

  authored
  b59452c

  Copy full SHA for b59452c

Commits on Jul 4, 2021

• Add notes

  Show description for cd55f0f
  daemon

  committed
  cd55f0f

  Copy full SHA for cd55f0f

Commits on Jun 26, 2021

• Add notes

  Show description for 6452303
  daemon

  committed
  6452303

  Copy full SHA for 6452303

Commits on Jun 24, 2021

• Add notes

  Show description for e299efa
  daemon

  committed
  e299efa

  Copy full SHA for e299efa

Commits on Jun 23, 2021

• Add notes

  Show description for 17f229d
  daemon

  committed
  17f229d

  Copy full SHA for 17f229d

Commits on Jun 19, 2021

• Add notes

  Show description for 746b61a
  daemon

  committed
  746b61a

  Copy full SHA for 746b61a

Commits on Jun 17, 2021

• Add notes

  Show description for fe02ec4
  daemon

  committed
  fe02ec4

  Copy full SHA for fe02ec4

• Add notes

  Show description for 4a6c069
  daemon

  committed
  4a6c069

  Copy full SHA for 4a6c069

• Add notes

  Show description for 8ebbfbf
  daemon

  committed
  8ebbfbf

  Copy full SHA for 8ebbfbf

Commits on Jun 16, 2021

• Add notes

  Show description for 4836e5b
  daemon

  committed
  4836e5b

  Copy full SHA for 4836e5b

Commits on Jun 13, 2021

• Add notes

  Show description for 1d548c7
  daemon

  committed
  1d548c7

  Copy full SHA for 1d548c7

Commits on Jun 12, 2021

• Add notes

  Show description for 2d23e4e
  daemon

  committed
  2d23e4e

  Copy full SHA for 2d23e4e

• Add notes

  Show description for e2e973e
  daemon

  committed
  e2e973e

  Copy full SHA for e2e973e

• Add notes

  Show description for 4d2f8ca
  daemon

  committed
  4d2f8ca

  Copy full SHA for 4d2f8ca

• Add notes

  Show description for 8a44429
  daemon

  committed
  8a44429

  Copy full SHA for 8a44429

• Add notes

  Show description for 45fde6f
  daemon

  committed
  45fde6f

  Copy full SHA for 45fde6f

• Add notes

  Show description for 1b4eb4a
  daemon

  committed
  1b4eb4a

  Copy full SHA for 1b4eb4a

Commits on Jun 11, 2021

• Add notes

  Show description for 8d200ad
  daemon

  committed
  8d200ad

  Copy full SHA for 8d200ad

Commits on Jun 10, 2021

• Add notes

  Show description for 8bddca5
  daemon

  committed
  8bddca5

  Copy full SHA for 8bddca5

• Add notes

  Show description for efa82ba
  daemon

  committed
  efa82ba

  Copy full SHA for efa82ba

• Add notes

  Show description for aa066fb
  daemon

  committed
  aa066fb

  Copy full SHA for aa066fb

• Fix CSS location

  Show description for 1ffb03f
  daemon

  committed
  1ffb03f

  Copy full SHA for 1ffb03f

• Update HTML style

  Show description for b46b7f5
  daemon

  committed
  b46b7f5

  Copy full SHA for b46b7f5

Pagination

Previous

Next