uemurax/hott-ja uemurax/hott-ja

  • Stars
    star
    31
  • Rank 804,059 (Top 17 %)
  • Language
    Racket
  • Created over 1 year ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
uemurax/hott-ja
github

uemurax

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

HoTT in Japanese

More Repositories

1

morg

Organize mathematical thoughts
Racket
18
star
2

synthetic-topos-theory

Racket
11
star
3

satysfi-ncsq

SATySFi package for drawing rectangular diagrams.
JavaScript
6
star
4

helm-mpd

Emacs-helm interface for music player daemon
Emacs Lisp
5
star
5

uemurax.github.io

3
star
6

my-icon

TeX
1
star
7

helm-pacman

Emacs Lisp
1
star
8

satysfi-arrows

JavaScript
1
star
9

latex-macros

TeX
1
star
10

docker-texlive-ja

Dockerfile
1
star
11

dot-xmonad

Haskell
1
star