Proofs

Workflow runs for Proofs

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  completed successfully:
  Proofs#66:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 20261m 56s
  More actions for workflow run 66

• docs: an Applications-in-practice section (#189)

  completed successfully:
  Proofs#65:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 20262m 2s
  More actions for workflow run 65

• t1-exception-2026-10-12 (#188)

  completed successfully:
  Proofs#64:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 20261m 49s
  More actions for workflow run 64

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit c…

  completed successfully:
  Proofs#63:Commit4d5ecbdpushedbyhyperpolymath
  main

  Oct 10, 20261m 15s
  More actions for workflow run 63

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  completed successfully:
  Proofs#62:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 20261m 18s
  More actions for workflow run 62

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  completed successfully:
  Proofs#61:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 20261m 53s
  More actions for workflow run 61

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  completed successfully:
  Proofs#60:Pull request#187openedbyhyperpolymath
  arena/6c682e29-absolute-zero

  Oct 10, 20261m 52s
  More actions for workflow run 60

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  Proofs#59:Commit6010145pushedbyhyperpolymath
  main

  Oct 9, 20261m 22s
  More actions for workflow run 59

• chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the a…

  completed successfully:
  Proofs#58:Commit5f27136pushedbyhyperpolymath
  main

  Oct 2, 20262m 11s
  More actions for workflow run 58

• docs(citation): align CITATIONS.adoc author form with CITATION.cff (#…

  cancelled:
  Proofs#57:Commit27d879fpushedbyhyperpolymath
  main

  Oct 1, 202625m 27s
  More actions for workflow run 57

• chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale …

  completed successfully:
  Proofs#56:Commitdba634apushedbyhyperpolymath
  main

  Oct 1, 20261m 36s
  More actions for workflow run 56

• chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers

  completed successfully:
  Proofs#55:Pull request#183synchronizebyhyperpolymath
  chore/issue-sweep-2026-10-01

  Oct 1, 20261m 53s
  More actions for workflow run 55

• chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers

  completed successfully:
  Proofs#54:Pull request#183openedbyhyperpolymath
  chore/issue-sweep-2026-10-01

  Oct 1, 20262m 11s
  More actions for workflow run 54

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  Proofs#53:Commit8007381pushedbyhyperpolymath
  main

  Oct 1, 20262m 0s
  More actions for workflow run 53

• fix(proofs): census reads logical roots from _CoqProject; restore Fil…

  completed successfully:
  Proofs#52:Commitf486c29pushedbyhyperpolymath
  main

  Oct 1, 20262m 30s
  More actions for workflow run 52

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  completed successfully:
  Proofs#51:Pull request#177synchronizebyhyperpolymath
  fix/176-census-roots-restore-filesystemcno

  Oct 1, 20262m 8s
  More actions for workflow run 51

• docs: add Signed commits section to CONTRIBUTING (#179)

  failed:
  Proofs#50:Commit9b9e219pushedbyhyperpolymath
  main

  Oct 1, 20262m 8s
  More actions for workflow run 50

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  completed successfully:
  Proofs#49:Pull request#177synchronizebyhyperpolymath
  fix/176-census-roots-restore-filesystemcno

  Oct 1, 20261m 53s
  More actions for workflow run 49

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  completed successfully:
  Proofs#48:Pull request#177synchronizebycoderabbitai[bot]Bot
  fix/176-census-roots-restore-filesystemcno

  Sep 30, 20263m 24s
  More actions for workflow run 48

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  cancelled:
  Proofs#47:Pull request#177synchronizebycoderabbitai[bot]Bot
  fix/176-census-roots-restore-filesystemcno

  Sep 30, 20261m 49s
  More actions for workflow run 47

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  completed successfully:
  Proofs#46:Pull request#177synchronizebyhyperpolymath
  fix/176-census-roots-restore-filesystemcno

  Sep 30, 20261m 58s
  More actions for workflow run 46

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  cancelled:
  Proofs#45:Pull request#177synchronizebyhyperpolymath
  fix/176-census-roots-restore-filesystemcno

  Sep 30, 202631s
  More actions for workflow run 45

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  cancelled:
  Proofs#44:Pull request#177synchronizebyhyperpolymath
  fix/176-census-roots-restore-filesystemcno

  Sep 30, 202622m 51s
  More actions for workflow run 44

• fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-s…

  failed:
  Proofs#43:Commit5613b0epushedbyhyperpolymath
  main

  Sep 30, 20262m 44s
  More actions for workflow run 43

• fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

  completed successfully:
  Proofs#42:Pull request#177openedbyhyperpolymath
  fix/176-census-roots-restore-filesystemcno

  Sep 30, 20262m 0s
  More actions for workflow run 42