foundational verification allows programmers to build software which has been
empirically shown to have high levels of assurance in a variety of important
domains. However, the cost of producing foundationally verified software
remains prohibitively high for most projects,as it require