feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dependency#16

mdheller merged 12 commits into

mainSocioProphet/bsd-proof-program:mainfrom

feat/import-bsd-spec-and-declare-dependenciesSocioProphet/bsd-proof-program:feat/import-bsd-spec-and-declare-dependenciesCopy head branch name to clipboard