The Marriage ProblemExplores the marriage problem, where a bride must strategically accept suitors to maximize her chances of selecting the best one.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
