8000 lean-machines-central · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@lean-machines-central

lean-machines-central

Pinned Loading

  1. lean-machines lean-machines Public

    a Lean4 framework for the modeling and refinement of stateful systems

    Lean 12 3

  2. lean-machines-examples lean-machines-examples Public

    Example specifications for the Lean Machines modelling framework

    Lean 5 1

Repositories

Showing 2 of 2 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0