Skip to content

Commit

Permalink
deploy: 158adf3
Browse files Browse the repository at this point in the history
  • Loading branch information
@Seasawher
Seasawher committed Sep 5, 2023
1 parent 19e4857 commit 8f3c1f5
Show file tree
Hide file tree
Showing 10 changed files with 10 additions and 10 deletions.
2 changes: 1 addition & 1 deletion 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c1_introduction.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c2_definitions_statements_proofs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c3_universes_types_terms.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c4_theorems_proofs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c5_prop_type_proof_term.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c6_elements_theorem.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion c7_proof_fermat_theorem_function.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
2 changes: 1 addition & 1 deletion print.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down

0 comments on commit 8f3c1f5

Please sign in to comment.