GitHub repository: lean-machines-central/lean-machines
Primary language: Lean
Created: 2024-08-07T12:55:05Z
Description: a Lean4 framework for the modeling and refinement of stateful systems