A textbook for the transition to proof course for mathematics majors utilizing IBL.
☆51Jan 9, 2026Updated 2 months ago
Alternatives and similar repositories for IBL-IntroToProof
Users that are interested in IBL-IntroToProof are comparing it to the libraries listed below
Sorting:
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆31Updated this week
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32May 18, 2023Updated 2 years ago
- Collection of small Lua modules☆10Feb 15, 2026Updated last month
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆120Jan 27, 2026Updated last month
- Scripts & snippets☆14Feb 15, 2026Updated last month
- A nvim-cmp source for completing digraphs.☆19Mar 6, 2022Updated 4 years ago
- ☆16Dec 14, 2017Updated 8 years ago
- Implement functions to split strings☆13May 12, 2017Updated 8 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- Adelic p-adic Dark Matter☆13Feb 15, 2026Updated last month
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- Modern C++ Regular Expressions library, wrapping both POSIX and Lua string patterns.☆11May 31, 2015Updated 10 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Lua module for miniz support☆15Jul 11, 2024Updated last year
- illustration how to embed TinyScheme within C programs☆22May 13, 2016Updated 9 years ago
- Qonvert lets you convert rational numbers between different bases and between different representations such as positional notation and i…☆13Apr 30, 2023Updated 2 years ago
- Fully featured SDK for Binance DEX. Use it, make some profit in crypto, spread the word, support mass adoption. :)☆12Apr 30, 2019Updated 6 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆273Feb 20, 2026Updated last month
- A test sample to create Installation package for RealDWG using Wix toolset☆10Mar 23, 2022Updated 3 years ago
- Series of worksheets designed to guide students through an inquiry based first year Linear Algebra course☆32Nov 4, 2025Updated 4 months ago
- MLAB hardware modules and building blocks☆16Sep 30, 2023Updated 2 years ago
- ☆16Jan 1, 2024Updated 2 years ago
- Control your device with simple motion gestures.☆26Dec 14, 2025Updated 3 months ago
- Create custom arrowheads for ggplot2 via ggarrow☆17May 15, 2025Updated 10 months ago
- [ARCHIVED]☆10Oct 27, 2016Updated 9 years ago
- Functional iterators for Lua based on coroutines☆17Feb 25, 2020Updated 6 years ago
- Debug your GitHub Actions via SSH to get access to the WARP runner system itself.☆22Mar 1, 2026Updated 2 weeks ago
- Integration of Caliburn.Micro and Autofac☆12Apr 29, 2021Updated 4 years ago
- Deep Learning course taught in Electrical and Computer Engineering at Stevens Institute of Technology☆16Apr 23, 2020Updated 5 years ago
- Various nodes and blend files for the sverchok blender addon☆12Apr 25, 2017Updated 8 years ago
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- Lua library for computing with physical quantities.☆13Jan 7, 2023Updated 3 years ago
- ☆14Jan 12, 2020Updated 6 years ago
- ☆10Jan 9, 2026Updated 2 months ago
- Linear assignment problem solver for .NET.☆11Jan 24, 2026Updated last month
- STEP Fonts Project☆12Aug 28, 2021Updated 4 years ago
- Cross-referencing system for LaTeX, inspired with RDF☆18Nov 19, 2024Updated last year
- tex engine detection☆16Jul 24, 2025Updated 7 months ago