GitHub / lean-machines-central / lean-machines

a Lean4 framework for the modeling and refinement of stateful systems

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lean-machines-central%2Flean-machines
PURL: pkg:github/lean-machines-central/lean-machines

Stars: 12
Forks: 3
Open issues: 2

License: apache-2.0
Language: Lean
Size: 790 KB
Dependencies parsed at: Pending

Created at: 12 months ago
Updated at: 23 days ago
Pushed at: 23 days ago
Last synced at: 23 days ago

Topics: event-b, formal-methods, lean4

Loading...