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 11 2

  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
  • lean-machines Public

    a Lean4 framework for the modeling and refinement of stateful systems

    lean-machines-central/lean-machines’s past year of commit activity
    Lean 11 Apache-2.0 2 0 2 Updated Apr 9, 2025
  • lean-machines-examples Public

    Example specifications for the Lean Machines modelling framework

    lean-machines-central/lean-machines-examples’s past year of commit activity
    Lean 5 Apache-2.0 1 0 0 Updated Mar 13, 2025

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…