# Third-party notices This notice applies to **Matematika dalam Lean — Edisi Bahasa Indonesia**. It records the licenses and attribution obligations of the book text, executable material, generated readers, bundled web assets, and fonts embedded in the localized PDF. It does not replace any copyright or license metadata retained inside the distributed files. ## Book, translation, and project material The English book text is **Mathematics in Lean**, by Jeremy Avigad and Patrick Massot. The pinned source works used for this edition are [`mathematics_in_lean_source@8e112cd63ff1bf2a1020ff88f22f77288e42b9a9`](https://github.com/leanprover-community/mathematics_in_lean_source/tree/8e112cd63ff1bf2a1020ff88f22f77288e42b9a9) and its generated learner repository [`mathematics_in_lean@dd6d752fedb14082f557913c2dccb2d4851e5173`](https://github.com/leanprover-community/mathematics_in_lean/tree/dd6d752fedb14082f557913c2dccb2d4851e5173). The book prose is licensed under the [Creative Commons Attribution 4.0 International License (CC BY 4.0)](https://creativecommons.org/licenses/by/4.0/legalcode). This edition translates that prose into Bahasa Indonesia. It also localizes the reader interface and build configuration, adds machine-readable indexing, and reflows the HTML and PDF readers. These changes were made in August 2026. This is an unofficial translation; Jeremy Avigad, Patrick Massot, the Lean project, and the Lean community have not reviewed or endorsed it. Lean code, scripts, configuration, and project assets not covered by the prose notice are licensed under Apache License 2.0. The exact Apache-2.0 text is shipped as [`LICENSE`](LICENSE), SHA-256 `b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1`. Roboto Slab is also Apache-2.0 licensed and is covered by that same license text. Apache-2.0 does not grant trademark permission. ## Generated HTML software The generated HTML reader contains these third-party components: - Sphinx 9.1.0 and the Sphinx compatibility shim: BSD-2-Clause. - Pygments 2.19.2 generated syntax-highlighting CSS: BSD-2-Clause. - Snowball-generated English search stemmer, generator 3.0.1: BSD-3-Clause. - sphinx-rtd-theme 3.1.0: MIT. - jQuery 3.6.0: MIT. - Font Awesome 4.7.0 CSS/software: MIT; its font is separately OFL-1.1. - Lato 2.015: OFL-1.1, with Reserved Font Name “Lato”. - Font Awesome 4.7.0 font: OFL-1.1. - Roboto Slab 1.100263: Apache-2.0. ### Sphinx 9.1.0 — BSD-2-Clause Copyright (c) 2007-2025 by the Sphinx team (see AUTHORS file). All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. The Sphinx compatibility shim in `_static/_sphinx_javascript_frameworks_compat.js` identifies the Sphinx contributors and the same two-clause BSD license. ### Pygments 2.19.2 — BSD-2-Clause Copyright (c) 2006-2022 by the respective authors (see AUTHORS file). All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ### Snowball — BSD-3-Clause Copyright (c) 2001, Dr Martin Porter Copyright (c) 2004,2005, Richard Boulton Copyright (c) 2013, Yoshiki Shibukawa Copyright (c) 2006-2025, Olly Betts All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. Neither the name of the Snowball project nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. Authoritative license source: . ### Read the Docs theme — MIT Copyright (c) 2013-2018 Dave Snider, Read the Docs, Inc. & contributors Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Font Awesome CSS/software is Copyright Dave Gandy 2016 and is distributed under the same MIT terms. ### jQuery 3.6.0 — MIT Copyright OpenJS Foundation and other contributors, Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Exact-version license source: . ## Web fonts under SIL OFL 1.1 - **Lato 2.015:** Copyright (c) 2011-2015 by tyPoland Lukasz Dziedzic (), with Reserved Font Name “Lato”. Lato is a trademark of tyPoland Lukasz Dziedzic. - **Font Awesome 4.7.0:** Copyright Dave Gandy 2016. All rights reserved. Font license information: . The following SIL Open Font License 1.1 text applies to those fonts and to the AMSFonts PDF subsets identified below. ### SIL OPEN FONT LICENSE Version 1.1 — 26 February 2007 #### PREAMBLE The goals of the Open Font License (OFL) are to stimulate worldwide development of collaborative font projects, to support the font creation efforts of academic and linguistic communities, and to provide a free and open framework in which fonts may be shared and improved in partnership with others. The OFL allows the licensed fonts to be used, studied, modified and redistributed freely as long as they are not sold by themselves. The fonts, including any derivative works, can be bundled, embedded, redistributed and/or sold with any software provided that any reserved names are not used by derivative works. The fonts and derivatives, however, cannot be released under any other type of license. The requirement for fonts to remain under this license does not apply to any document created using the fonts or their derivatives. #### DEFINITIONS “Font Software” refers to the set of files released by the Copyright Holder(s) under this license and clearly marked as such. This may include source files, build scripts and documentation. “Reserved Font Name” refers to any names specified as such after the copyright statement(s). “Original Version” refers to the collection of Font Software components as distributed by the Copyright Holder(s). “Modified Version” refers to any derivative made by adding to, deleting, or substituting — in part or in whole — any of the components of the Original Version, by changing formats or by porting the Font Software to a new environment. “Author” refers to any designer, engineer, programmer, technical writer or other person who contributed to the Font Software. #### PERMISSION & CONDITIONS Permission is hereby granted, free of charge, to any person obtaining a copy of the Font Software, to use, study, copy, merge, embed, modify, redistribute, and sell modified and unmodified copies of the Font Software, subject to the following conditions: 1. Neither the Font Software nor any of its individual components, in Original or Modified Versions, may be sold by itself. 2. Original or Modified Versions of the Font Software may be bundled, redistributed and/or sold with any software, provided that each copy contains the above copyright notice and this license. These can be included either as stand-alone text files, human-readable headers or in the appropriate machine-readable metadata fields within text or binary files as long as those fields can be easily viewed by the user. 3. No Modified Version of the Font Software may use the Reserved Font Name(s) unless explicit written permission is granted by the corresponding Copyright Holder. This restriction only applies to the primary font name as presented to the users. 4. The name(s) of the Copyright Holder(s) or the Author(s) of the Font Software shall not be used to promote, endorse or advertise any Modified Version, except to acknowledge the contribution(s) of the Copyright Holder(s) and the Author(s) or with their explicit written permission. 5. The Font Software, modified or unmodified, in part or in whole, must be distributed entirely under this license, and must not be distributed under any other license. The requirement for fonts to remain under this license does not apply to any document created using the Font Software. #### TERMINATION This license becomes null and void if any of the above conditions are not met. #### DISCLAIMER THE FONT SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE. Canonical license text and FAQ: . ## Fonts embedded in the localized PDF The release PDF `matematika-dalam-lean-bahasa-indonesia.pdf` is 1,239,337 bytes, 219 pages, and has SHA-256 `c4ec75af26bd138c160261eed5846d77ea7d9f3f43419baa49a3a73e9dd1f764`. `pdffonts` reports 27 font objects, all embedded and subsetted. Repeated Computer Modern objects consolidate to 22 unique PostScript faces. The embedded subset names and exact build-source witnesses are listed here. ### GNU FreeFont — GPL-3.0-or-later with Font Exception 2.0 Copyright 2002, 2003, 2005, 2008, 2009, 2010, 2012 GNU FreeFont contributors. | Embedded PostScript face | Source version | Source binary SHA-256 | |---|---:|---| | FreeSerif | 0412.2263 | `aab33b5d0efd450d3ac3153b176f542315e171db79e494aa287cd940ae16231b` | | FreeSerifBold | 0412.2268 | `e5d664c1448e3976fbbc68b1d9ab69d00383efb376e67a3a6b79279233e152cc` | | FreeSerifItalic | 0412.2268 | `4c815172f18223f5ecfae908d8fae0eed5708c8f12c257cfb59150464f9b8599` | | FreeSans | 0412.2268 | `d3e9138ccf76ef516cc6af867e4e7ed8776331947235824f924c5886186b0c80` | | FreeSansBold | 0412.2261 | `860760177d95ed4bd030cd2cd05f29ce23737dbd5ff7080954bb7f5802d0f42d` | | FreeMono | 0412.2268 | `daf720e115bc462f721cdf3065697b75fea033bf46d4598d3a727fce4b036032` | | FreeMonoBold | 0412.2261 | `f343654c66abd947ded29abab099f79e55edb93a27ff88e7a67b1d6da7d8017e` | | FreeMonoOblique | 0412.2264 | `7cf6a9b570ade6a2e4cc88378fec3192be321a63d5657c8e894b108f77754741` | The embedded font metadata states: > This computer font is part of GNU FreeFont. It is free software: you can > redistribute it and/or modify it under the terms of the GNU General Public > License as published by the Free Software Foundation, either version 3 of > the License, or (at your option) any later version. > > This font is distributed in the hope that it will be useful, but WITHOUT ANY > WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS > FOR A PARTICULAR PURPOSE. See the GNU General Public License for more > details. Full GPL-3.0 text: . The accompanying Font Exception 2.0 states: > As a special exception, if you create a document which uses this font, and > embed this font or unaltered portions of this font into the document, this > font does not by itself cause the resulting document to be covered by the GNU > General Public License. This exception does not however invalidate any other > reasons why the document might be covered by the GNU General Public License. > If you modify this font, you may extend this exception to your version of the > font, but you are not obligated to do so. If you do not wish to do so, delete > this exception statement from your version. ### AMSFonts Computer Modern, AMS symbols, and Euler — OFL-1.1 The embedded faces `CMMI5`, `CMSY5`, `CMMI10`, `CMR10`, `CMSY10`, `CMMI7`, `MSBM10`, `CMR7`, `CMSY7`, `CMEX10`, `MSBM7`, `EUFM10`, and `CMR5` resolve to the following Type 1 font binaries. Each binary's own header states the SIL Open Font License 1.1 and names that face as a Reserved Font Name. Copyright (c) 1997, 2009 American Mathematical Society. `EUFM10` additionally states copyright 2011. All rights notices identify . | Face | Version | Source binary SHA-256 | |---|---:|---| | CMMI5 | 003.002 | `35048e58e53f4aa53025069c1d0de33a16d8d4c111bfa329669e6456ec0a967b` | | CMSY5 | 003.002 | `46da57e5a06866efa9a20f3dd350811b5d3279a5ae789af63e530f1f570e3c7f` | | CMMI10 | 003.002 | `e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7` | | CMR10 | 003.002 | `fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be` | | CMSY10 | 003.002 | `62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff` | | CMMI7 | 003.002 | `5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53` | | MSBM10 | 003.002 | `d2121de7e7c14490a2d352e3b62e62882d6c300235464bfa577e6055696e6e62` | | CMR7 | 003.002 | `b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1` | | CMSY7 | 003.002 | `583b65bd1857bffc2ab184fcb4aad4e70e12eb05c9ca9f1c58c9a00a86c8bccf` | | CMEX10 | 003.002 | `791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb` | | MSBM7 | 003.002 | `bd86d36def0f2d226cf773a195a88f88e424759f3ddaaf654de2ae670906734e` | | EUFM10 | 003.003 | `0d4adc0d8d6b3fd993fe138b6863126d7122cd1ae180d0a19eca0759bf7d0975` | | CMR5 | 003.002 | `84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b` | The complete OFL-1.1 terms printed above apply to these fonts. ### DejaVu Sans Mono 2.37 — Bitstream Vera terms The PDF embeds a subset of `DejaVuSansMono`, resolved from the 340,712-byte DejaVu Sans Mono Book Version 2.37 binary with SHA-256 `b4a6c3e4faab8773f4ff761d56451646409f29abedd68f05d38c2df667d3c582`. DejaVu changes are in the public domain. Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved. Bitstream Vera is a trademark of Bitstream, Inc. Permission is hereby granted, free of charge, to any person obtaining a copy of the fonts accompanying this license (“Fonts”) and associated documentation files (the “Font Software”), to reproduce and distribute the Font Software, including without limitation the rights to use, copy, merge, publish, distribute, and/or sell copies of the Font Software, and to permit persons to whom the Font Software is furnished to do so, subject to the following conditions: The above copyright and trademark notices and this permission notice shall be included in all copies of one or more of the Font Software typefaces. The Font Software may be modified, altered, or added to, and in particular the designs of glyphs or characters in the Fonts may be modified and additional glyphs or characters may be added to the Fonts, only if the fonts are renamed to names not containing either the words “Bitstream” or the word “Vera”. This License becomes null and void to the extent applicable to Fonts or Font Software that has been modified and is distributed under the “Bitstream Vera” names. The Font Software may be sold as part of a larger software package but no copy of one or more of the Font Software typefaces may be sold by itself. THE FONT SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL BITSTREAM OR THE GNOME FOUNDATION BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE. Except as contained in this notice, the names of Gnome, the Gnome Foundation, and Bitstream Inc. shall not be used in advertising or otherwise to promote the sale, use or other dealings in this Font Software without prior written authorization from the Gnome Foundation or Bitstream Inc., respectively. For further information, contact: fonts at gnome dot org. License information: . ## Build-only components not redistributed here `unicode-math-input` 0.1.1 and `newunicodechar` 1.2 are external LPPL-1.3c-or-later build dependencies. Their `.sty` sources are not included in the reader or embedded into the PDF. The unlicensed upstream `unixode.sty` is deliberately excluded from this edition and from its release payloads.