Pinned Repositories
fd-applet
An applet for Finite-Dimensional algebras.
mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
ARquiver
A GUI program to work with Auslander-Reiten quivers and compute various objects.
kappa-map-for-lattices
SageMath code which adds to a Sage class FiniteLatticePoset methods which compute the kappa maps.
lean-noncommutative-ring
tors-lattice
a SageMath code which defines a class for lattices of tau-tilting finite artin algebras together with various methods
arxiv-privacy-tech
chess_problems
haruhisa-enomoto's Repositories
haruhisa-enomoto/arxiv-privacy-tech
haruhisa-enomoto/chess_problems
haruhisa-enomoto/haruhisa-enomoto.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
haruhisa-enomoto/mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
haruhisa-enomoto/lean-workshop-tutorial-fork
haruhisa-enomoto/lean-math-workshop
haruhisa-enomoto/theorem_proving_in_lean4
Theorem Proving in Lean 4 日本語訳
haruhisa-enomoto/fd-applet
An applet for Finite-Dimensional algebras.
haruhisa-enomoto/Moe-Counter
多种风格可选的萌萌计数器
haruhisa-enomoto/ppacya
Website of the Online school "Preprojective algebras and Calabi-Yau algebras"
haruhisa-enomoto/ARquiver
A GUI program to work with Auslander-Reiten quivers and compute various objects.
haruhisa-enomoto/lean-noncommutative-ring
haruhisa-enomoto/StringApplet-to-SageMath-converter
A python code which imports the poset of torsion classses from Geuenich's String Applet to SageMath
haruhisa-enomoto/tors-lattice
a SageMath code which defines a class for lattices of tau-tilting finite artin algebras together with various methods
haruhisa-enomoto/kappa-map-for-lattices
SageMath code which adds to a Sage class FiniteLatticePoset methods which compute the kappa maps.