Prototype tool for checking entailment in Separation Logic with user-provided inductive definitions of recursive data structures (lists, trees, and beyond)
Primary LanguagePythonOtherNOASSERTION