How to define mutual inductive propositions in Lean? Unraveling the Mystery of Mutual Inductive Propositions in Lean Lean a powerful theorem prover offers a flexible and expressive language for formalizing mathema 2 min read 06-09-2024 14
Model-checking: Check that some place is always possible? Model Checking Ensuring Reachability in UPPAAL Model checking is a powerful technique for verifying the correctness of systems by exhaustively exploring all pos 2 min read 31-08-2024 10