Agent Skills: termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
algorithm-analysisID: a5c-ai/babysitter/termination-analyzer
244
Install this agent skill to your local
Skill Files
Browse the full folder contents for termination-analyzer.
Loading file tree…
Select a file to preview its contents.