bjbraamsMain0.2.0

Lean formalization of fundamental analytic theory of several complex variables
Displaying 1-2 of 2 versions of Main
Sort by
  1. 0.2Version track: 0.2
    0.2.0
    5 days ago
    Released on October 26, 2026 at 11:40:08AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.36.0-rc1
  2. 0.2Version track: 0.2
    0.2.0
    v0.2.0
    a month ago
    Released on September 26, 2026 at 4:49:57PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc2