Grupo-de-Estudos-em-Logica-da-UFRN / Para-Todxs-Natal
Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
☆13Updated 9 months ago
Alternatives and similar repositories for Para-Todxs-Natal:
Users that are interested in Para-Todxs-Natal are comparing it to the libraries listed below
- UCalgary version of forallx, an introduction to formal logic☆101Updated last month
- Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.☆40Updated 6 months ago
- amateur translation project of Grothendieck's EGA.☆340Updated 4 months ago
- Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.☆64Updated last month
- A formal logic framework that runs in the browser☆283Updated 2 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Estilo para BibLaTeX compatível com as normas da ABNT☆132Updated 7 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆96Updated 2 months ago
- English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano☆32Updated 2 years ago
- An open-source, customizable intermediate logic textbook☆1,117Updated last week
- The collected works of F. W. Lawvere☆336Updated 6 months ago
- ☆11Updated 2 years ago
- Resources for learning Category Theory for an enthusiast☆618Updated last year
- ☆14Updated 4 months ago
- Materiais didáticos utilizados nos cursos do Bacharelado em Ciência da Computação da UFABC☆47Updated 4 years ago
- ☆162Updated 5 years ago
- Source code for the nLab☆168Updated 2 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆230Updated 3 months ago
- Curated lists related to Brazilian Computer Science research and researchers☆69Updated this week
- ☆113Updated 7 months ago
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆300Updated last week
- papers of Per Martin Löf☆771Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆306Updated last year
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆412Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- Group theory visualization software in the browser☆239Updated 11 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆159Updated last year
- A curated list of functional programming resources to study the fp paradigm☆178Updated 7 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆218Updated last week