Published June 2, 2026 | Version v4.27.0
Software Open

galvusdamor/lean4-search-algorithms: v4.27.0-hsdip2026

Authors/Creators

  • 1. Universiteit van Amsterdam
  • 2. ROR icon University of Amsterdam
  • 3. ILLC, University of Amsterdam

Description

No description provided.

Files

galvusdamor/lean4-search-algorithms-v4.27.0.zip

Files (97.5 kB)

Name Size Download all
md5:39c2a198b96c619da8b434c928d645af
97.5 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/galvusdamor/lean4-search-algorithms/tree/v4.27.0 (URL)

Software

Repository URL
https://github.com/galvusdamor/lean4-search-algorithms