Topics

• Keywords
• Async-Await
• Bindings
• Conditional Statements
• Getting started with coq
• Using Tactics

Examples

• Concurrent calls
• if, if...else, if... else if
• Blocking on async code can cause deadlocks
• Bindings libraries may rename methods and interfaces
• Example of a proof by induction
• Async/await will only improve performance if it allows the machine to do additional work
• Trivial example of a case analysis
• Switch statements
• If statement conditions are standard boolean expressions and values