<commit_before># sf-pt_br
Fundações do Software (livro eletrônico)

(Informations in English at the bottom)

## Introdução

Este projeto tem como objetivo a elaboração de uma tradução do livro 
eletrônico "Software Foundations" para o Português do Brasil. Os autores da
versão original, em inglês, são <NAME>, <NAME>, Marco 
Gaboardi, <NAME>, <NAME>, <NAME>, <NAME>.

Os autores da tradução são os discentes e docente da disciplina "Semântica de 
Linguagens de Programação", código DIM0889, oferecida no período 2015.2 pelo 
Programa de Pós-graduação em Sistemas e Computação da Universidade Federal do
Rio Grande do Norte.

A versão inicial deste projeto é composta pelos arquivos da versão original,
em inglês.

## Estado da tradução

Segue o conteúdo do livro. As partes em inglês ainda não foram traduzidas. 
As partes em português já foram traduzidas. As partes com ambos idiomas estão
em processo de tradução.


- Preface

    - Welcome
    - Overview
        - Logic
        - Proof Assistants
        - Functional Programming
        - Program Verification
        - Type Systems
    - Practicalities<commit_msg>+url livro original na introdução do README.md<commit_after># sf-pt_br
Fundações do Software (livro eletrônico)

(Informations in English at the bottom)

## Introdução

Este projeto tem como objetivo a elaboração de uma tradução do livro 
eletrônico "Software Foundations" para o Português do Brasil. Os autores da
versão original, em inglês, são <NAME>, <NAME>, Marco 
Gaboardi, <NAME>, <NAME>, <NAME>, <NAME>.
Este livro é disponível no seguinte local: <http://www.cis.upenn.edu/~bcpierce/sf/current/index.html>.

Os autores da tradução são os discentes e docente da disciplina "Semântica de 
Linguagens de Programação", código DIM0889, oferecida no período 2015.2 pelo 
Programa de Pós-graduação em Sistemas e Computação da Universidade Federal do
Rio Grande do Norte.

A versão inicial deste projeto é composta pelos arquivos da versão original,
em inglês.

## Estado da tradução

Segue o conteúdo do livro. As partes em inglês ainda não foram traduzidas. 
As partes em português já foram traduzidas. As partes com ambos idiomas estão
em processo de tradução.


- Preface

    - Welcome
    - Overview
        - Logic
        - Proof Assistants
        - Functional Programming
        - Program Verification
        - Type Systems
    - Practicalities
{'fraction_non_alphanumeric': 0.05723905723905724, 'fraction_numerical': 0.007575757575757576, 'mean_word_length': 3.597678916827853, 'pattern_counts': {'":': 0, '<': 16, '<?xml version=': 0, '>': 16, 'https://': 0, 'lorem ipsum': 0, 'www.': 1, 'xml': 0}, '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': '5651040', 'n_tokens_mistral': 808, 'n_tokens_neox': 779, 'n_words': 309}