ecsolticia.codeberg.page
Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
0 pipeline runs
No pipelines have been run yet
Get started by configuring CI/CD for this repository
1
Choose a spindle in your repository settings
2
Configure your CI/CD pipeline
3
Trigger a workflow with a push or pull request