VerySmallFoot. A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic

github.com/alpaylan/VerySmallFoot
by @alpaylan

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.