|
haruhisa-enomoto's
repositories
|
|
.github
|
|
.gitignore
|
|
.gitmodules
|
|
LICENSE
|
|
README.md
|
|
SUMMARY.md
|
|
axioms_and_computation.md
|
|
book.toml
|
|
conv.md
|
|
dependent_type_theory.md
|
|
deploy.sh
|
|
highlight.js
|
|
induction_and_recursion.md
|
|
inductive_types.md
|
|
interacting_with_lean.md
|
|
introduction.md
|
|
lean-toolchain
|
|
propositions_and_proofs.md
|
|
quantifiers_and_equality.md
|
|
structures_and_records.md
|
|
tactics.md
|
|
title_page.md
|
|
type_classes.md
|
|
unixode.sty
|