Re: [seL4] (good faq entries to add?) re-proving after code commits?

hi Gerwin, Wow, thanks! Terrific details, there. More questions come to mind! :-) How sustainable does the team see the proving being long term? Are there ¥€$ to cover the role(s)? What is the limit on how much code can change, and have the proving keep up? Etc.? Congratulations to you all for a terrific project.