Skip to content
#

theory-of-probability

Here are 14 public repositories matching this topic...

CoherenceLattice

Rights: License Creative Commons Attribution 4.0 International Copyright Ultra Verba Lux Mentis 2025. This repository is a reproducible research + governance scaffold that combines: Lean 4 formalization (machine-checked theorems; “hard-to-reject” anchors) Python reference implementations (toy experiments + benchmarks)

  • Updated Jan 10, 2026
  • Python

Improve this page

Add a description, image, and links to the theory-of-probability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more