ctl. a ctl based logic for formal methods and philosophy calculation

github.com/rfielding/ctl
by @rfielding

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.