Koukyosyumeirunwai_project

COMS 6998 (Fall 2025): Refinement-typed DSL for certified AIR constraints and lookups
Displaying 1-1 of 1 versions of runwai_project
Sort by
  1. Not a part of any version track.
    7bb9009
    21 days ago
    Released on December 8, 2025 at 11:03:40AM
    Commit 7bb9009 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    74.0 MB Build archive size: 74013335 bytes.