No results found

delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets
Displaying 1-1 of 1 versions of delphin
Sort by
  1. Not a part of any version track.
    db8c81c
    2 months ago
    Released on April 2, 2025 at 1:11:19AM
    Commit db8c81c builds on its old leanprover/lean4:v4.12.0
    v4.12.0
    32.5 MB Build archive size: 32496362 bytes.