termination-analyzer
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/termination-analyzer
PlatformUniversal
Prove termination of algorithms and programs using ranking functions and well-founded orderings
Universal
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings