feat(formal): add Lean 4 discrete-event kernel model and CI gate - #10

feat(formal): add Lean 4 discrete-event kernel model and CI gate#10

imMamdouhaboammar merged 2 commits into

mainfunnelscript/funnelscript-research:mainfrom

feat/milestone-1-formal-lean-kernelfunnelscript/funnelscript-research:feat/milestone-1-formal-lean-kernelCopy head branch name to clipboard