Tim Button's open textbook on set theory
☆41Jun 25, 2025Updated 8 months ago
Alternatives and similar repositories for set-theory
Users that are interested in set-theory are comparing it to the libraries listed below
Sorting:
- Textbook on non-classical logics☆13Jun 25, 2025Updated 8 months ago
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated 11 months ago
- Textbook on metalogic based on the Open Logic Project☆44Jul 1, 2025Updated 8 months ago
- UCalgary version of forallx, an introduction to formal logic☆118Dec 18, 2025Updated 3 months ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated last year
- A solutions manual for Set Theory by Thomas Jech☆13Aug 12, 2018Updated 7 years ago
- Logic and Mechanized Reasoning☆114Jan 11, 2026Updated 2 months ago
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- ☆13Dec 21, 2021Updated 4 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated last year
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 11 months ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆13Jan 8, 2026Updated 2 months ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- 关于 tlmgr 使用的简短的介绍.☆18Feb 24, 2022Updated 4 years ago
- Logical Verification 2022-2023 course at VU Amsterdam☆18Jan 27, 2024Updated 2 years ago
- The Divine Companions Monorepo☆16Feb 28, 2026Updated 3 weeks ago
- Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.☆16Jun 13, 2020Updated 5 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- ☆13Jun 21, 2017Updated 8 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Aussie AI Base C++ Library is the source code repo for the book Generative AI in C++, along with various other AI/ML kernels.☆21Aug 30, 2024Updated last year
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 5 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 3 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Dec 24, 2022Updated 3 years ago
- Hydrodynamics on a moving Voronoi mesh.☆21Mar 28, 2023Updated 2 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Jun 1, 2022Updated 3 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 2 years ago
- The OpenAPI Specification Repository☆11Jul 12, 2023Updated 2 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- Pandoc/Quarto filter to convert selected LaTeX and TikZ elements to images in other output formats☆27Oct 27, 2025Updated 4 months ago
- ☆18Sep 21, 2023Updated 2 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Feb 28, 2026Updated 3 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Feb 1, 2024Updated 2 years ago