Lomega (@elle-et-noire)
github

elle-et-noire

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 4
  • Registered over 5 years ago
  • Most used languages
    Coq     50.0 %
    Julia
         50.0 %
  • Location 🇯🇵 Japan
  • Country Ranking
    Coq     37
    Julia
         88

Top repositories

1

HOTRG-nonorientablesurface

Demo codes for tensor network simulation of CFT on non-orientable surface
Julia
2
star
2

algtop

Aim to formalise Algebraic Topology.
Coq
1
star