Skip to content
#

group-actions

Here are 10 public repositories matching this topic...

Mathematics that can be rebuilt — a finite mathematical framework for reconstructing theorem systems under failures, with a universal continuation classification by canonical normal forms, constructive distinguishing continuations, bounded-width algorithms, and reproducible verification — Shunyaya Theorem Reproducibility Framework.

  • Updated Oct 2, 2026
  • Python

Add this topic to your repo

To associate your repository with the group-actions topic, visit your repo's landing page and select "manage topics."

Learn more