unaoya

Tokyo

Pinned Repositories

math_pdf
Language:TeX160
factorization
implementation of factorization algorithms by Egison
Language:TeX20
sou-ken-topos
Language:Coq22
egison_geometry
Language:Jupyter Notebook10
homology
Language:TeX10
Mills
Language:Lean10

unaoya's Repositories

unaoya/lean_Galois
Language:TeX
unaoya/learning-lean
Language:Lean
unaoya/Mills
Language:Lean1
unaoya/Test
Language:Lean
unaoya/Lean4Study
Lean4の勉強用
Language:Lean
unaoya/lean-math-workshop
unaoya/unaoya.github.io
Language:HTML
unaoya/zenn-contents
unaoya/math_pdf
Language:TeX16
unaoya/category
Language:TeX
unaoya/stan
Language:HTML
unaoya/COVID19-Japan-Reff
unaoya/factorization
implementation of factorization algorithms by Egison
Language:TeX2
unaoya/Grobner
unaoya/hello-world
unaoya/egison_geometry
Language:Jupyter Notebook1
unaoya/pystat
Language:Jupyter Notebook
unaoya/subeta
Language:HTML
unaoya/MA
unaoya/intro_python
Language:Python
unaoya/NaiveBayes
Language:R
unaoya/coq_intro
Language:Coq2
unaoya/sou-ken-topos
Language:Coq22
unaoya/algebraic-geometry
Language:TeX
unaoya/homology
Language:TeX1
unaoya/pyML
Language:Jupyter Notebook2
unaoya/TheLittleSchemer
Language:Scheme
unaoya/TFwH
Language:Haskell
unaoya/scheme-meta-interpreter
Language:Scheme
unaoya/cat_sml
Language:Standard ML