bayesian-mechanics

Here is 1 public repository matching this topic...

ActiveInferenceInstitute / fep_formal

Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.

theorem-proving formal-verification free-energy-principle active-inference information-geometry lean4 bayesian-mechanics

Updated Oct 8, 2026
Python

Add this topic to your repo

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

Learn more