GitHub repository: lean-machines-central/lean-machines-examples
Primary language: Lean
Created: 2024-08-07T13:16:49Z
Description: Example specifications for the Lean Machines modelling framework