ixaxaarmonoid.space

Learn pure math with agda :rocket:
#type-theory #agda #category-theory #abstract-algebra #algebraic-geometry #homotopy-type-theory
Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteriesv4.24.0-rc1

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Git dependency.
    Not found on Reservoir.

    aesop9e8de57

  3. Registry dependency.
    Found on Reservoir.

    mathlibcfb143d

    The math library of Lean 4