Improve directory structure and dependencies of formal spec#1691

javierdiaz72 wants to merge 9 commits intomainIntersectMBO/ouroboros-consensus:mainfrom

javierdiaz72/formal-spec-dir-dep-improvementIntersectMBO/ouroboros-consensus:javierdiaz72/formal-spec-dir-dep-improvementCopy head branch name to clipboard