feat(lean,#15520): lake formal_logic_lean (FFL CONSUMER_PINNE) + notebook Lean-3b - #15563

feat(lean,#15520): lake formal_logic_lean (FFL CONSUMER_PINNE) + notebook Lean-3b#15563

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

feature/lean-3b-formalized-formal-logicjsboige/CoursIA:feature/lean-3b-formalized-formal-logicCopy head branch name to clipboard