A textbook for the transition to proof course for mathematics majors utilizing IBL.
☆51Jun 7, 2026Updated 3 weeks ago
Alternatives and similar repositories for IBL-IntroToProof
Users that are interested in IBL-IntroToProof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Introduction to the LaTeX☆19Jul 7, 2020Updated 5 years ago
- Modular arithmetic, promoting moduli to the type level☆24Jun 2, 2026Updated 3 weeks ago
- Data about projects authored and distributed with PreTeXt.☆11Apr 12, 2026Updated 2 months ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- Homebrew tap for GAP☆18Oct 20, 2025Updated 8 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.
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆35May 18, 2023Updated 3 years ago
- Combinatorics through Guided Discovery☆20Mar 9, 2023Updated 3 years ago
- Collection of small Lua modules☆10Feb 15, 2026Updated 4 months ago
- Lecture Notes for ECE 370: Signals and Systems at The University of Alabama☆46Jun 22, 2026Updated last week
- C++ library for semigroups and monoids☆69Jun 22, 2026Updated last week
- Metakit is an efficient embedded database library with a small footprint☆28Jun 14, 2021Updated 5 years ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆121Jun 18, 2026Updated last week
- repository for anton webfont☆14Jul 24, 2016Updated 9 years ago
- A ClojureScript REPL using Reagent and MDL☆14Jan 13, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Pure lua implementation of utf8proc and a few more unicode utilities☆13Jun 11, 2015Updated 11 years ago
- Modern C++ Regular Expressions library, wrapping both POSIX and Lua string patterns.☆11May 31, 2015Updated 11 years ago
- ☆19Dec 15, 2015Updated 10 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Sep 30, 2017Updated 8 years ago
- Experimenting with special ratios to guide grids for composition☆16Apr 23, 2018Updated 8 years ago
- Clojure instaREPL for web☆39Mar 21, 2017Updated 9 years ago
- Fully featured SDK for Binance DEX. Use it, make some profit in crypto, spread the word, support mass adoption. :)☆12Apr 30, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆281Mar 26, 2026Updated 3 months ago
- A simple dictionary application written in Rust☆13May 9, 2020Updated 6 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 11 years ago
- MLAB hardware modules and building blocks☆16Sep 30, 2023Updated 2 years ago
- ☆16May 16, 2026Updated last month
- Basic Polynomial Algebra Subprograms☆18Jul 29, 2025Updated 11 months ago
- Inertia is the register-based, lightweight, Turing-complete virtual machine running a small set of bytecodes for benchmarking VM performa…☆14Nov 2, 2016Updated 9 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 6 years ago
- Rima is a tool for formulating mathematical models☆19Sep 3, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functional iterators for Lua based on coroutines☆17Feb 25, 2020Updated 6 years ago
- Service App to run scrips for algo trading and manage market data: https://www.youtube.com/playlist?list=PLbiaIO7sG7FYlrgOV1XLHrnaufJ7fK…☆11Mar 22, 2019Updated 7 years ago
- Debug your GitHub Actions via SSH to get access to the WARP runner system itself.☆22Updated this week
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- ☆21Nov 28, 2025Updated 7 months ago
- Metamath in C++☆14Jun 4, 2019Updated 7 years ago
- Lua library for computing with physical quantities.☆13Jan 7, 2023Updated 3 years ago