GitHub repository: sgraf812/mpl
Primary language: Lean
Created: 2025-02-27T10:22:41Z
Description: A prototype for a monadic program logic in Lean