<commit_before><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<link href="coqdoc.css" rel="stylesheet" type="text/css"/>
<title>Conteúdo</title>
</head>

<body>

<div id="page">

<div id="header">
</div>

<div id="main">

<div id="toc">
<a href="Preface.html"><h2>Prefácio</h2></a>
<ul class="doclist">
<li><a href="Preface.html#lab1">Boas Vindas</a>

</li>
<li><a href="Preface.html#lab2">Visão Geral</a>
<ul class="doclist">
<li><a href="Preface.html#lab3">Lógica</a>

</li>
<li><a href="Preface.html#lab4">Assistentes de Prova</a>

</li>
<li><a href="Preface.html#lab5">Programação Funcional</a>

</li>
<li><a href="Preface.html#lab6">Verificação de Programas</a>

</li>
<li><a href="Preface.html#lab7">Sistemas de Tipagem</a>

</li>
</ul>

</li>
<li><a href="Preface.html#lab8">Informações Práticas</a>
<ul class="doclist">
<li><a href="Preface.html#lab9">Dependências entre Capítulos</a>

</li>
<li><a href="Preface.html#lab10">Requisitos de Sistemas</a>

</li>
<li><a href="Preface.html#lab11">Exercícios</a>

</li>
<li><a href="Preface.html#lab12">Para Obter os Arquivos Coq</a>

</li>
</ul>

</li>
<li><a href="Preface.html#lab13">Notas para Instrutores</a>

</li>
<li><a href="Preface.html#lab14">Traduções</a>

</li>
</ul>
<a href="Basics.html"><h2>Embasamento: Programação Funcional em Coq</h2></a>
<ul class="doclist">
<li><a href="Basics.html#lab15">Introdução</a>

</li>
<li><a href="Basics.html#lab16">Tipos Enumerados</a>
<ul class="doclist">
<li><a href="Basics.html#lab17">Dias da Semana</a>

</li>
<li><a href="Basics.html#lab18">Booleanos</a>

</li>
<li><a href="Basics.html#lab21">Tipos Funcionais</a>

</li>
<li><a href="Basics.html#lab22">Números</a>

</li>
</ul>

</li>
<li><a href="Basics.html#lab25">Prova por Simplificação</a>

</li>
<li><a href="Basics.html#lab26">Prova por Reescrita</a>

</li>
<li><a href="Basics.html#lab29">Prova por Análise de Casos</a>

</li>
<li><a href="Basics.html#lab31">Mais Exercícios</a>

</li>
<li><a href="Basics.html#lab35">Informações complementares sobre <span class="inlinecode"><span class="id" type="keyword">Notation</span></span> (Avançado)</a>

</li>
<li><a href="Basics.html#lab36"><span class="inlinecode"><span class="id" type="keyword">Fixpoint</span></span> e Recursão Estrutural (Avançado)</a>

</li>
</ul>
<a href="Induction.html"><h2>Indução: Prova por Indução</h2></a>
<ul class="doclist">
<li><a href="Induction.html#lab38">Nomeando Casos</a>

</li>
<li><a href="Induction.html#lab40">Prova por Indução</a>

</li>
<li><a href="Induction.html#lab47">Provas dentro de Provas</a>

</li>
<li><a href="Induction.html#lab50">Mais Exercícios</a>

</li>
<li><a href="Induction.html#lab56">Prova Formal e Prova Informal (Avançado)</a>

</li>
</ul>
<a href="Lists.html"><h2>Lists: Working with Structured Data</h2></a>
<ul class="doclist">
<li><a href="Lists.html#lab59">Pairs of Numbers</a>

</li>
<li><a href="Lists.html#lab66">Lists of Numbers</a>
<ul class="doclist">
<li><a href="Lists.html#lab74">Bags via Lists</a>

</li>
</ul>

</li>
<li><a href="Lists.html#lab78">Reasoning About Lists</a>
<ul class="doclist">
<li><a href="Lists.html#lab79">Micro-Sermon</a>

</li>
<li><a href="Lists.html#lab80">Induction on Lists</a>

</li>
<li><a href="Lists.html#lab85"><span class="inlinecode"><span class="id" type="var">SearchAbout</span></span></a>

</li>
<li><a href="Lists.html#lab86">List Exercises, Part 1</a>

</li>
<li><a href="Lists.html#lab89">List Exercises, Part 2</a>

</li>
</ul>

</li>
<li><a href="Lists.html#lab94">Options</a>

</li>
<li><a href="Lists.html#lab99">Dictionaries</a>

</li>
</ul>
<a href="Poly.html"><h2>Poly: Polymorphism and Higher-Order Functions</h2></a>
<ul class="doclist">
<li><a href="Poly.html#lab102">Polymorphism</a>
<ul class="doclist">
<li><a href="Poly.html#lab103">Polymorphic Lists</a>

</li>
<li><a href="Poly.html#lab117">Polymorphic Pairs</a>

</li>
<li><a href="Poly.html#lab121">Polymorphic Options</a>

</li>
</ul>

</li>
<li><a href="Poly.html#lab124">Functions as Data</a>
<ul class="doclist">
<li><a href="Poly.html#lab125">Higher-Order Functions</a>

</li>
<li><a href="Poly.html#lab126">Partial Application</a>

</li>
<li><a href="Poly.html#lab127">Digression: Currying</a>

</li><commit_msg>conteudo atualizado com traducoes dos cabecalhos do capitulo sobre listas<commit_after><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<link href="coqdoc.css" rel="stylesheet" type="text/css"/>
<title>Conteúdo</title>
</head>

<body>

<div id="page">

<div id="header">
</div>

<div id="main">

<div id="toc">
<a href="Preface.html"><h2>Prefácio</h2></a>
<ul class="doclist">
<li><a href="Preface.html#lab1">Boas Vindas</a>

</li>
<li><a href="Preface.html#lab2">Visão Geral</a>
<ul class="doclist">
<li><a href="Preface.html#lab3">Lógica</a>

</li>
<li><a href="Preface.html#lab4">Assistentes de Prova</a>

</li>
<li><a href="Preface.html#lab5">Programação Funcional</a>

</li>
<li><a href="Preface.html#lab6">Verificação de Programas</a>

</li>
<li><a href="Preface.html#lab7">Sistemas de Tipagem</a>

</li>
</ul>

</li>
<li><a href="Preface.html#lab8">Informações Práticas</a>
<ul class="doclist">
<li><a href="Preface.html#lab9">Dependências entre Capítulos</a>

</li>
<li><a href="Preface.html#lab10">Requisitos de Sistemas</a>

</li>
<li><a href="Preface.html#lab11">Exercícios</a>

</li>
<li><a href="Preface.html#lab12">Para Obter os Arquivos Coq</a>

</li>
</ul>

</li>
<li><a href="Preface.html#lab13">Notas para Instrutores</a>

</li>
<li><a href="Preface.html#lab14">Traduções</a>

</li>
</ul>
<a href="Basics.html"><h2>Embasamento: Programação Funcional em Coq</h2></a>
<ul class="doclist">
<li><a href="Basics.html#lab15">Introdução</a>

</li>
<li><a href="Basics.html#lab16">Tipos Enumerados</a>
<ul class="doclist">
<li><a href="Basics.html#lab17">Dias da Semana</a>

</li>
<li><a href="Basics.html#lab18">Booleanos</a>

</li>
<li><a href="Basics.html#lab21">Tipos Funcionais</a>

</li>
<li><a href="Basics.html#lab22">Números</a>

</li>
</ul>

</li>
<li><a href="Basics.html#lab25">Prova por Simplificação</a>

</li>
<li><a href="Basics.html#lab26">Prova por Reescrita</a>

</li>
<li><a href="Basics.html#lab29">Prova por Análise de Casos</a>

</li>
<li><a href="Basics.html#lab31">Mais Exercícios</a>

</li>
<li><a href="Basics.html#lab35">Informações complementares sobre <span class="inlinecode"><span class="id" type="keyword">Notation</span></span> (Avançado)</a>

</li>
<li><a href="Basics.html#lab36"><span class="inlinecode"><span class="id" type="keyword">Fixpoint</span></span> e Recursão Estrutural (Avançado)</a>

</li>
</ul>
<a href="Induction.html"><h2>Indução: Prova por Indução</h2></a>
<ul class="doclist">
<li><a href="Induction.html#lab38">Nomeando Casos</a>

</li>
<li><a href="Induction.html#lab40">Prova por Indução</a>

</li>
<li><a href="Induction.html#lab47">Provas dentro de Provas</a>

</li>
<li><a href="Induction.html#lab50">Mais Exercícios</a>

</li>
<li><a href="Induction.html#lab56">Prova Formal e Prova Informal (Avançado)</a>

</li>
</ul>
<a href="Lists.html"><h2>Listas: Trabalhando com Dados Estruturados/h2></a>
<ul class="doclist">
<li><a href="Lists.html#lab59">Pares de Números</a>

</li>
<li><a href="Lists.html#lab66">Listas de números</a>
<ul class="doclist">
<li><a href="Lists.html#lab74">Multiconjuntos via Listas</a>

</li>
</ul>

</li>
<li><a href="Lists.html#lab78">Raciocínio sobre Listas</a>
<ul class="doclist">
<li><a href="Lists.html#lab79">Micro-Sermão</a>

</li>
<li><a href="Lists.html#lab80">Indução sobre Listas</a>

</li>
<li><a href="Lists.html#lab85"><span class="inlinecode"><span class="id" type="var">SearchAbout</span></span></a>

</li>
<li><a href="Lists.html#lab86">List Exercises, Part 1</a>

</li>
<li><a href="Lists.html#lab89">List Exercises, Part 2</a>

</li>
</ul>

</li>
<li><a href="Lists.html#lab94">Opções</a>

</li>
<li><a href="Lists.html#lab99">Dicionários</a>

</li>
</ul>
<a href="Poly.html"><h2>Poly: Polymorphism and Higher-Order Functions</h2></a>
<ul class="doclist">
<li><a href="Poly.html#lab102">Polymorphism</a>
<ul class="doclist">
<li><a href="Poly.html#lab103">Polymorphic Lists</a>

</li>
<li><a href="Poly.html#lab117">Polymorphic Pairs</a>

</li>
<li><a href="Poly.html#lab121">Polymorphic Options</a>

</li>
</ul>

</li>
<li><a href="Poly.html#lab124">Functions as Data</a>
<ul class="doclist">
<li><a href="Poly.html#lab125">Higher-Order Functions</a>

</li>
<li><a href="Poly.html#lab126">Partial Application</a>

</li>
<li><a href="Poly.html#lab127">Digression: Currying</a>

</li>
{'fraction_non_alphanumeric': 0.24414678072940116, 'fraction_numerical': 0.02769022962629446, 'mean_word_length': 6.391846921797005, 'pattern_counts': {'":': 0, '<': 536, '<?xml version=': 0, '>': 537, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 2}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5020563', 'n_tokens_mistral': 4059, 'n_tokens_neox': 3859, 'n_words': 658}