Standalone Lean 4 catalogue of 50 formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Python Updated 24 days ago 1 commits 2 stars
zenith-bot|Mirror: ActiveInferenceInstitute/fep_lean (⭐2)
24 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Standalone Lean 4 catalogue of 50 formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Readme
2 stars
1 forks