alokConvolutedProofs0.1.0

Absurdly sophisticated proofs of simple mathematical facts in Lean 4
#math #proof #lean4 #formalization #ultrafilters #dirichlet
Displaying 1-1 of 1 versions of ConvolutedProofs
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    a month ago
    Released on July 26, 2025 at 9:13:36AM
    Commit 44733fb builds on its recent leanprover/lean4:v4.22.0-rc4
    v4.22.0-rc4
    98.5 KB Build archive size: 98513 bytes.