P.D. Magnus' forallx logic textbook
☆70Mar 30, 2025Updated last year
Alternatives and similar repositories for forallx
Users that are interested in forallx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- UCalgary version of forallx, an introduction to formal logic☆119Dec 18, 2025Updated 3 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
- Radio Intelligence Apps' open-source core, by Qoherent 📡🚀☆14Sep 11, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 11 months ago
- Hyphenate your way to glory! Or centrality.☆12Jul 24, 2025Updated 8 months ago
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago
- Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE☆12Mar 11, 2021Updated 5 years ago
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated 3 months ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- A Bayesian model for time-series count data with weekend effects and a lagged reporting process☆10Mar 7, 2022Updated 4 years ago
- ☆14Jan 7, 2022Updated 4 years ago
- A *LISP emulator☆35Apr 1, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Detect and trap IP scanners☆11Mar 26, 2019Updated 7 years ago
- Rewriting Principia Mathematica in Lean☆137Feb 5, 2026Updated 2 months ago
- View net worth, account values, financial transactions☆13Jan 13, 2026Updated 2 months ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆17Feb 19, 2025Updated last year
- ☆12Jan 1, 2024Updated 2 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Oct 24, 2017Updated 8 years ago
- Solutions to Algebra, by Michael Artin.☆35Dec 6, 2016Updated 9 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Repository for (for now) filing bug reports about DCIC.☆30Aug 21, 2025Updated 7 months ago
- Binary EYE is a viewer of binary files with a built-in editor☆27Oct 7, 2021Updated 4 years ago
- Public repository for Abstact Algebra Theory and Applications☆181Jan 18, 2026Updated 2 months ago
- Rand E Editor modified to compile on modern Linux☆12Feb 13, 2021Updated 5 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated last month
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- ☆44Nov 25, 2016Updated 9 years ago
- ☆46Oct 28, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆15May 30, 2022Updated 3 years ago
- ☆38Jan 2, 2023Updated 3 years ago
- A token system based on proof of transport☆11Dec 21, 2021Updated 4 years ago
- Interactive GridFTP client☆17Jan 7, 2017Updated 9 years ago
- Experimental Language Server proxy/multiplexer☆16Sep 1, 2024Updated last year
- Italian Covid-19 vaccination campaign data☆16Jun 1, 2021Updated 4 years ago