Sign in
Terminator.
Program Termination Checker as described in the paper "Distilling Programs for Termination Checking"
github.com/poitin/Terminator
by
@poitin
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
