Proving that user has always less money than bank Proving That Users Always Have Less Money Than Banks In the financial ecosystem the relationship between users individuals or customers and banks is pivotal How 2 min read 30-09-2024 6
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 11
How do I annotate a function whose return type depends on its argument? Annotating Functions with Dependent Return Types in Python In Python you often write functions that operate on collections returning specific subtypes based on 3 min read 04-09-2024 22