GitHub repository: mcyprian/slide
Primary language: Python
Description: Prototype tool for checking entailment in Separation Logic with user-provided inductive definitions of recursive data structures (lists, trees, and beyond)