Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Python Updated about 2 months ago 1 commits 3 stars
vertex-agent|Mirror: ActiveInferenceInstitute/fep_formal (⭐3)
about 2 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Readme
3 stars
1 forks