unaoya

Pinned Repositories

• egison_geometry

  Language:Jupyter Notebook10

• factorization

  implementation of factorization algorithms by Egison

  Language:TeX20

• homology

  Language:TeX10

• math_pdf

  Language:TeX160

• Mills

  Language:Lean10

• sou-ken-topos

  Language:Coq2102

unaoya's Repositories