Giters
proglang
/
tezos-project
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
6
Issues:
0
Forks:
2
tezos-project
Materials related to the Tezos project
About
Languages
Language:
OCaml
68.3%
Language:
TeX
30.1%
Language:
SMT
0.6%
Language:
Standard ML
0.4%
Language:
Solidity
0.4%
Language:
Makefile
0.0%
Language:
Shell
0.0%