GitHub - OmegaCore-Labs/foundational-artifacts: Artifacts for verification, reproducibility, and benchmarking of constructive proofs · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
research		research
sovereign-framework		sovereign-framework

About

Artifacts for verification, reproducibility, and benchmarking of constructive proofs

github.com/omegacore-labs

analytical-dashboards axioms benchmarks constructive-proofs failure-reports formal-methods mathematics reproducibility research verification

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages