Giters

k16shikano / cpdt-japanese

Certified Programming with Dependent Types (Japanese Translation)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Adam Chlipala, Certified Programming with Dependent Types 和訳プロジェクト

CircleCI

How to build

install package for Debian systems

$ sudo apt-get install build-essential coq texlive texlive-lang-japanese lmodern texlive-latex-extra

build .glob and documents

$ make coq   ## make -j N coq  # may be faster
$ make doc

About

Certified Programming with Dependent Types (Japanese Translation)

License:MIT License

Languages

Language:Coq 96.5%Language:TeX 1.2%Language:HTML 0.7%Language:OCaml 0.6%Language:Verilog 0.5%Language:Makefile 0.5%