UCalgary version of forallx, an introduction to formal logic
☆119Dec 18, 2025Updated 3 months ago
Alternatives and similar repositories for forallx-yyc
Users that are interested in forallx-yyc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Textbook on metalogic based on the Open Logic Project☆44Jul 1, 2025Updated 9 months ago
- Textbook on non-classical logics☆13Jun 25, 2025Updated 9 months ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 9 months ago
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆15Apr 13, 2023Updated 2 years ago
- Open textbook on modal logic☆25Jul 1, 2025Updated 9 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes l…☆15Mar 30, 2025Updated last year
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated last year
- A formal logic framework that runs in the browser☆329Dec 15, 2024Updated last year
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 11 months ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- An open-source, customizable intermediate logic textbook☆1,275Mar 28, 2026Updated 2 weeks ago
- KANs and MLPs☆12Jun 7, 2024Updated last year
- Notebooks illustrating how to use the sxs python package☆12Aug 8, 2024Updated last year
- Elements of Deductive Logic, an open-source intermediate logic textbook☆13Jan 8, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A solutions manual for Set Theory by Thomas Jech☆13Aug 12, 2018Updated 7 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆59Aug 26, 2025Updated 7 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- ibus-table-others☆17Feb 16, 2026Updated last month
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated 3 months ago
- QiskitFlow. Framework for reproducible quantum experiments☆11Jun 30, 2021Updated 4 years ago
- book mark <--> mark book -- insane social bookmarking for the solid platform☆19Jan 22, 2024Updated 2 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Quantum Connect Four☆15Dec 5, 2022Updated 3 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- ☆13Mar 7, 2024Updated 2 years ago
- Codes to reproduce results in the paper☆10Apr 9, 2021Updated 5 years ago
- Motion4D - A library for lightrays and timelike worldlines in the theory of relativity☆15Jan 8, 2022Updated 4 years ago
- Portfolio Optimization on a Quantum computer.☆15Apr 15, 2022Updated 3 years ago
- Modeling and Proving in Computational Type Theory☆122Updated this week
- Web application for course on Formal Reasoning About Programs☆17Sep 17, 2025Updated 6 months ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11Sep 26, 2024Updated last year
- An easy to use interface to gravitational wave surrogate models☆38Feb 14, 2026Updated last month
- Makes URLs prettier by removing the protocol prefix.☆11Jan 26, 2025Updated last year
- LaTeX support for Creative Commons icons☆13Mar 31, 2026Updated last week
- Playing around with Kotlin and implementing interesting stuff☆11Oct 19, 2016Updated 9 years ago
- Set of matlab functions for EEG io, preprocessing, analysis from the Center for Sleep and Consciousness, University of Wisconsin (csc)☆20Feb 15, 2022Updated 4 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Updated this week