Shilun-Allan-LitCSlib

Lean 4 Theoretical Computer Science Library
Displaying 1-1 of 1 versions of tCSlib
Sort by
  1. Not a part of any version track.
    9069dfd
    2 days ago
    Released on June 15, 2026 at 11:32:06PM
    Commit 9069dfd fails to build on leanprover/lean4:v4.25.0-rc2
    v4.25.0-rc2