蓝图方法最早由帕特里克·马瑟开发工具链支持，用于组织形式化证明的大型协作项目