### Logistics - Will we have access to an overview of the project roadmap, including deliverables? - Do you need us to use specific project management tools (e.g. GitHub, Jira, etc.)? ### Formal Verification - What is the expected level of background in Coq or formal methods? - Can you explain the process by which a smart contract's safety properties will be validated formally? - Are there any existing case studies or example proofs we might refer to for a better understanding of the expected output? - How much of the formal verification process will be based on axioms versus fully constructive proofs? ### Project scope clarifications - Among the seven smart contracts being verified, which ones do you expect us to work on, and why those? - Which technologies are we going to be introduced to, if any? Will we have access to guides for Coq and Solidity? - How do you envision the high-level Coq framework integrating with existing Solidity projects? - Could you elaborate on the notion of “high-level primitives” (e.g., identity, item, property) and how flexible they need to be for different types of contracts? - "real numbers and integer approximations"?