It is difficult to track adoptions for an open textbook. I only know of one if an instructor or student emails me, or if I see a syllabus on line. Here is the list of adoptions, to the extent of my knowledge. I'd like for this list to be as complete as possible. Please contact me at rhammack@vcu.edu if you use Book of Proof in your courses, or if you have updates or corrections to the list. Thanks! Richard Hammack 
University  Country  Course Title  Course #  Year (up to latest known) 
Aalto University  Finland  Discrete Mathematics  MSA0401  2013, 2014 
Alecu Russo Balti State University  Moldova  Discrete Structures  F.02.O.13  2013, 2014 
Agnes Scott College  USA  Art of Mathematical Thinking  MATH 204  2015 
Alfred University  USA  Foundations of Higher Mathematics  MATH 281  2019 
Amasya University  Turkey  Abstract Mathematics  MATH 105, 106  2016 
American University of Kuwait  Kuwait  Discrete Math  MATH 213  2020 
Arizona State University  USA  Mathematical Structures  MATH 300  2021 
Auburn University  USA  Discrete Mathematics  MATH 3710  2017 
Bard College at Simon's Rock  USA  Introduction to Proof  MATH 217 
2023 
Bates College  USA  Introduction to Abstraction  MATH 221  2020, 2021, 2022, 2023 
Baylor University  USA  Foundations of Mathematics  MATH 3300  2023 
Belhaven University  USA  Discrete Math  MATH 303  2021 
Belhaven University  USA  Proof Exposition  MATH 315  2021 
Bennington College  USA  Logic, Proofs, Algebra, and Set Theory  MAT 2115  2018 
Bishop's University  Canada  Introduction to Discrete Mathematics  MAT 200  2018, 2021 
Bogaziçi University  Turkey  Introduction to Mathematical Structures  MATH 111  2012 
Boston College  USA  Introduction to Abstract Mathematics  MT216  2018 
Bridgewater State University  USA  Transitions to Higher Mathematics  Math 180  2017 
Brigham Young University  USA  Fundamentals of Mathematics  MATH 290  2016 
Cal Poly Pomona  USA  Introduction to Mathematical Proof  MAT 3100  2013, 2018, 2021 
California State University, Dominguez Hills  USA  Advanced Analysis I *  MATH 401  2012, 2013, 2013, 2014, 2016 
California State University, Fresno  USA  Transition to Advanced Mathematics  MATH 111  2014, 2016 
California State University, Fullerton  USA  Strategies of Proof  MATH 280  2017 
California State University, Los Angeles  USA  Foundations of Mathematics  MATH 3450  2019 
California State University, Sacramento  USA  Introduction to Formal Mathematics  MATH 108  2014, 2019 
CarsonNewman University  USA  Introduction to Abstract Mathematics  MATH 212  2016, 2017 
Carthage College  USA  Discrete Structures  MATH 1240  2015, 2016, 2017, 2018, 2019, 2020 
Case Western Reserve University  USA  Introduction to Advanced Mathematics  MATH 305  2017, 2018, 2019, 2020, 2022 
Central Connecticut State University  USA  Discrete Mathematics  MATH 218  2016, 2017 
Central Michigan University  USA  Introduction to Mathematical Proof  MTH 332  2024 
Christendom College  USA  Fundamentals of Advanced Math  MATH 351  2019 
Clayton State University  USA  A Transition to Higher Mathematics  MATH 3005  2022 
Coker College  USA  Discrete Structures  MAT201  2016 
College of Charleston  USA  An Introduction to Abstract Mathematics  MATH 295  2023, 2024 
College of Wooster  USA  Transition to Advanced Mathematics  MATH 215  2016, 2017, 2021 
Colorado College  USA  Proof Writing  MATH 228  2018 
Colorado State University  USA  Introduction to Mathematical Reasoning  MATH 235  2015 
Concordia University Nebraska  USA  Mathematical Structures  MATH 252  20132021 
Dalhousie University  Canada  Discrete Structures I  CSCI 2112  2015, 2016, 2017, 2018, 2019 
Denison University  USA  Introduction to Proof Techniques  MATH 210  2014, 2016 
Dixie State University  USA  Discrete Mathematics  MATH 2200  2017, 2018, 2019, 2020, 2021 
Dokuz Eylül University  Turkey  Fundamentals of Mathematics  MAT 1033  2015 
Drexel University  USA  Computer Science Foundations  CS 520  2018 
Eastern Michigan University  USA  Introduction to Mathematical Proofs  MATH 211  2023 
East Texas Baptist University  USA  Foundations of Mathematical Reasoning  MATH 3300  2016 
The Education University of Hong Kong  China  Sets and Logic  MTH2110  2019 
Emory University  USA  Foundations of Mathematics  MATH 250  2014, 2015 
Fairmont State University  USA  Introduction to Mathematical Reasoning  MATH 1561  2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024 
Fairmont State University  USA  Transition to Higher Mathematics  MATH 2563  2018 
Fayetteville State University  USA  Foundations of Mathematics  MATH 260  2015, 2016, 2017 
Federal Center for Technological Education, Rio de Janeiro  Brazil  Discrete Structures  GCOM2013PE  2019 
Florida Atlantic University  USA  Discrete Mathematics  MAD 2104  2016 
Fordham University  USA  Discrete Mathematics  MATH 2001  2017, 2019, 2020 
Fresno City College  USA  Discrete Math for Computer Science  CSCI 26  2018, 2019 
Furman University  USA  Transitions to Higher Mathematics  MTH 260  2018, 2019 
Georgia Southern University  USA  Mathematical Structures  MATH 2332  2020, 2021 
Georgia Tech  USA  Foundations of Mathematical Proof  MATH 2106  2016, 2017, 2018, 2019, 2020 
Georgetown College  USA  Discrete Mathematics  MATH 301  2013, 2016, 2017, 2018 
Gonzaga University  USA  Fundamentals of Mathematics  MATH 301 
2014, 2015, 2016, 2020, 2022 
Gordon State College  USA  Fundamentals of Mathematics  MATH 3200 
2019 
Gordon College  USA  Discrete Mathematics  MAT 230 
2014, 2015, 2016, 2019 
Gordon College  USA  Transition to Higher Mathematics  MAT 231  2014, 2016, 2017, 2018, 2019 
Grand View University  USA  Intro to Math Reasoning  MAT 300  2023 
Hacettepe University  Turkey  Mathematical Foundations of Economics *  ECO611  2014 
Harvard University  USA  Theoretical Linear Algebra and Real Analysis 1 & 2  Math 25 A, B  2019 
Harvard University  USA  Sets, Groups and Topology  MATH 101  2018 
Harvard University  USA  Spaces, Mappings, and Mathematical Structures  MATH S101  2015 
HeriotWatt University, Edinburgh  UK  Logic and Proof *  F17LP1  2012, 2013, 2014, 2015, 2018 
HeriotWatt University, Edinburgh  UK  Algebra A *  F17CC1  2012, 2013, 2015 
Hobart and William Smith Colleges  USA  First Steps into Advanced Mathematics  MATH 135  2016, 2017, 2019 
Humboldt State University  USA  Introduction to Mathematical Thought  MATH 240  2018, 2019, 2020 
Hunter College  USA  Introduction to Mathematical Proof Workshop  MATH 156  2018, 2021, 2022 
Illinois State University  USA  Discrete Mathematics*  MATH 260  2019, 2021 
Indiana University of Pennsylvania  USA  Introduction to Mathematical Proofs  MATH 271  2018 
Iowa State University  USA  Introduction to Proofs  MATH 201  2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021,2022 
Jacksonville State University  USA  Introduction to Advanced Mathematics  MS 300  2013, 2014, 2015, 2016 
James Madison University  USA  Proof and Discrete Math  MATH 245  2012, 2015, 2016 
Johns Hopkins University  USA  Automata and Computation Theory  CS 271  2014, 2015 
Kansas State University  USA  Introduction to Proofs  MATH 499  2019 
Kean University  USA  Introduction to Proofs  MATH 3110  2013, 2014 
Kennesaw State University  USA  Introduction to Logic, Sets and Proof  MATH 245  2017 
The King's University  Canada  Discret Mathematics  CMPT/MATH360  2023 
King Mongkut's Institute of Technology Ladkrabang  Thailand  Introduction to Logic  13006301  2015, 2016, 2017, 2018, 2019, 2020, 2021 
Koc University  Turkey  Introduction to Abstract Mathematics  MATH 103  2019 
Korea International School  Korea  Introduction to Mathematical Proof  2017, 2018, 2019, 2020, 2021, 2022  
Konkuk University  Korea  Set Theory  186001  2022 
Loyola University Chicago  USA  Discrete Mathematics & Number Theory  MATH 201  2018, 2019, 2020, 2021, 2022, 2024 
LenoirRhyne University  USA  Introduction to Mathematical Reasoning  MATH 220  2015, 2016 
MacEwan University  Canada  Fundamental Concepts of Mathematics  MATH 200  2023 
Mary Baldwin College  USA  Discrete Math  MATH 231  2013 
Massachusetts College of Liberal Arts  USA  Proof I  MATH 240  2015, 2017 
McGill University  Canada  Discrete Structures I  MATH 240  2016, 2017, 2020 
Mercer University  USA  Introduction to Abstract Mathematics  MATH 260  2023 
Mercyhurst University  USA  Transition to Advanced Mathematics  MATH 265  2018 
Meredith College  USA  Introduction to Mathematical Reasoning  MATH 250  2018 
Miami University of Ohio  USA  Proof: Introduction to Higher Mathematics  MTH 331  2019, 2021 
Middlebury College  USA  Mathematical Foundations of Computer Science *  CSCI 200  2015, 2017, 2018 
Milligan University  USA  Introduction to Mathematical Logic  MATH 301  2021 
Millersville University  USA  Introduction to Mathematical Proofs  MATH 310  2013, 2014, 2015, 2016, 2017 
Misericordia University  USA  Set Theory and Logic  MATH 244  2016 
Montana State University  USA  Methods of Proof  Math 242  2019 
Moravian University  USA  Discrete Mathematics and Proof Writing  Math 212  2022 
Mount Holyoke College  USA  Discrete Mathematics  Math 232  2017, 2018 
Newcastle University  UK  Sets and Counting  2015  
New York City College of Technology  USA  Introduction to Proofs and Logic  MAT 2070  2013, 2016 
Northeastern University  USA  Introduction to Mathematical Reasoning  MATH 1365  2021 
Northern Kentucky University  USA  Introduction to Higher Mathematics  MAT 302  2016 
Northern State University  USA  Foundations of Mathematics  MATH 351  2016 
Northwestern University  USA  Foundations of Higher Mathematics  MATH 300  2015, 2016, 2017, 2018, 2019, 2022 
North Island College  Canada  Logic and Foundations  MAT 122  2019 
Oakland University  USA  Introduction to Advanced Mathematical Thinking  MTH 3002  2017, 2018 
Parahyangan Catholic University  Indonesia  Mathematical Problem Solving  AMS 123  2014 
Pennsylvania State University  USA  Introduction to Mathematical Proofs  MATH 311  2015 
Pennsylvania State University  USA  Discrete Mathematics for Computer Science  CMPSC 360  2015, 2017, 2020 
Peru State College  USA  Foundations of Mathematical Thought  MATH 230  2015, 2018 
Philadelphia University Jordan  Jordan  Set Theory (Foundations of Mathematics)  250251  2016 
Portland State University  USA  Introduction to Mathematical Reasoning  MTH 300  2023 
Piedmont University  USA  Discrete Mathematics  MATH 2700  2016, 2020, 2021, 2022, 2023, 2024 
Principia College  USA  Mathematical Proofs  MATH 220  2020, 2021, 2022, 2023 
Purchase College, SUNY  USA  Topics in Advanced Math  MAT4225  2016, 2019 
Queens College  USA  Discrete Math  MATH 220  2019 
RandolphMacon College  USA  Discrete Structures  MATH 220  2014, 2016 
Randolph College  USA  Techniques of Mathematical Proof  MATH 234  2021 
RMIT University, Melbourne  Australia  Discrete Structures  COSC 2627  2016, 2017 
RMIT University, Melbourne  Australia  Computing Theory *  COSC 1105/1107  2017 
Rockhurst University  USA  Introduction to Abstract Mathematics  MT 3800  2017, 2019 
Rutgers University  USA  Introduction to Mathematical Reasoning  MATH 300  2016, 2017, 2018, 2019, 2020 
Rutgers UniversityCamden  USA  Reasoning and Proof  MATH 300  2017, 2021 
Sacramento State University  USA  Introduction to Formal Mathematics  MATH 108  2014 
Sam Houston State University  USA  Introduction to Mathematical Thought  MATH 3300  2013, 2016, 2018, 2021, 2023 
San Francisco State University  USA  Exploration and Proof  MATH 301  2018 
San José State University  USA  Introduction to Abstract Mathematics and Proof  MATH 108  2020 
Shiv Nadar University  India  Foundations  MAT 100  2023 
St. Mary's College of Maryland  USA  Foundations of Mathematics  MATH 281  2013, 2014, 2015, 2016, 2017, 2018, 2020, 2023 
St. Norbert College  USA  Advanced Foundations of Mathematics  MATH 250  2018 
Saint Peter's University  USA  Transitions to Advanced Math  MA 250  2019, 2020 
Simon Fraser University  Canada  Discrete Mathematics I  MACM 101  2014, 2015 
Seattle University  USA  Introduction to Advanced Mathematics  MATH 3000  2014, 2015, 2016 
Sidwell Friends School  USA  MATH III  2017  
Skidmore College  USA  Mathematical Reasoning & Discrete Math  MC 215  2014 
Sonoma State University  USA  Reasoning and Proof  MATH 220  2014 
South Dakota State University  USA  Math for Computer Science  MATH 250  2020 
South Dakota State University  USA  Logic Sets and Proofs  MATH 253  2010, 2011, 2012, 2013 
Stony Brook University  USA  Fundamental Concepts of Mathematics  MATH 511  2020 
Tarleton State University  USA  Foundations of Mathematics  MATH 3220  2016 
Texas State  USA  Introduction to Advanced Mathematics  MATH 3330  2017, 2018 
Transylvania University  USA  Mathematician's Toolkit  MATH 2504  2014 
Tufts University  USA  Discrete Mathematics  COMP/MATH 61  2022 
Utrecht University  Netherlands  Foundations of Mathematics  UCU SCI 1  2022, 2023, 2024 
Universidad Autónoma Metropolitana Iztapalapa  Mexico  Introduction to Mathematical Thinking  2130030  2019 
University of Alaska Fairbanks  USA  Introduction to Mathematical Proofs  MATH 265  2019, 2024 
University at Albany  USA  Introduction to Proofs  MATH 299  2016, 2017, 2018, 2019, 2020, 2022 
University of Arizona  USA  Discrete Math. in Computer Science  MATH 243  2014 
University of Arizona  USA  Introduction to Discrete Structures  CSC 245  2015 
University of Arizona  USA  Math Camp (Economics Dept.)  2021  
University of British Columbia Vancouver  Canada  Mathematical Proof  MATH 220  2016, 2017, 2018, 2019, 2020 
UCLA  USA  Introduction to Upper Divison Mathematics  MATH 95  2021 
University of California Santa Barbara  USA  Transition to Higher Mathematics  MATH 8  2020, 2021 
University of California Santa Barbara  USA  Transition to Data Science, Probability and Statistics  PSTAT 8  2022 
University of California Santa Cruz  USA  Computational Models *  CMPS 130  2019 
University of California Santa Cruz  USA  Applied Discrete Mathematics *  CMPE 16  2013, 2014, 2018 
University of California Santa Cruz  USA  Introduction to Proof and Problem Solving  MATH 100  2014, 2015, 2016, 2019 
University of California, San Diego  USA  Automata and Computability *  CSE 105  2012, 2014, 2018 
University of California, San Diego  USA  Mathematical Reasoning  MATH 109  2017, 2018, 2020 
University of Cape Town  S. Africa  Fundamentals of Mathematics  MAM1019H  2016 
University of Chicago  USA  Mathematical Foundations of Computing  CS 155  2023 
University of Colorado, Boulder  USA  Discrete Mathematics  MATH 2001  2015, 2016, 2017, 2018, 2020, 2022 
University of Connecticut  USA  Introduction to Discrete Systems  CSE 2500  2014, 2015 
University of Connecticut  USA  Transition to Advanced Mathematics  MATH 2710  2017, 2020 
University of Dayton  USA  Foundations and Discrete Mathematics  MTH 308  2013, 2014, 2015, 2016, 2017, 2019, 2021 
University of Derby  UK  Patterns of Problem Solving  4MA504  2016, 2017 
University of Florida  USA  Sets and Logic  MHF 3202  2019, 2020, 2021, 2022 
University of The Gambia  The Gambia  Introduction to Proofs  2013  
University of Hawaii West Oahu  USA  Introduction to Advanced Mathematics  MATH 321  2014, 2017, 2018 
University of Houston  USA  Discrete Mathematics  MATH 3336  2022 
University of Jyväskylä  Finland  Johdatus matematiikkaan  MATP 100  2014 
University of Maine  USA  Introduction to Abstract Mathematics  MATH 261  2017, 2018 
University of Massachusetts, Amherst  USA  Fundamental Concepts of Mathematics  MATH 300  2014, 2017 
University of Massachusetts, Boston  USA  Inro. to Proofs: A Transition to Advanced Math.  MATH 280  2014, 2015, 2016 
University of Massachusetts, Boston  USA  Applied Discrete Mathematics  CS 220  2024 
The National University of Malaysia  Malaysia  Logical Reasoning  PNAP0143  2015 
University of Montevallo  USA  Intro to Discrete Mathematics  MATH 247  2015, 2016 
Universidad Nacional de Colombia  Colombia  Fundamentals of Mathematics  2015168  2017 
University of Nebraska, Lincoln  USA  Discrete Mathematics  CSCE 235  2016 
University of Nevada, Reno  USA  Introduction to Proofs  MATH 301  2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 
University of New Haven  USA  Foundations of Mathematics  MATH 1121  2015, 2016, 2018, 2019 
University of New Mexico  USA  Advanced Calculus I  MATH 401/501  2018 
University North Georgia, Dahlonega  USA  Introduction to Proofs  MATH 2800  2021, 2022 
University of Notre Dame  USA  Decision Theory*  ECON 40050  2017, 2018, 2019 
University of Notre Dame  USA  Microeconomic Theory I*  ECON 60101  2019 
University of Notre Dame  USA  Math for Political Scientists  POLS 60833  2012, 2014 
University of North Texas  USA  Real Analysis I *  MATH 3000  2013, 2014 
University of Oklahoma  USA  Discrete Mathematics  MATH 2513  2015, 2016, 2019, 2020 
University of Pennsylvania  USA  Ideas in Mathematics  MATH 170  2016, 2017, 2018 
University of Rhode Island  USA  Introduction to Mathematical Rigor  MTH 307  2014, 2015, 2016, 2017, 2018 
University of Richmond  USA  Foundations of Abstract Mathematics  MTH 300  2018, 2019 
University of San Francisco  USA 
Introduction to Formal Methods 
MATH 235  2021, 2022 
University of South Carolina  USA 
Foundations of Computation 
CSCE 355  2015 
University of South Carolina  USA  Transition to Advanced Mathematics  MATH 300  2017, 2018 
University of Southern California  USA  Mathematical Reasoning and Problem Solving  MATH 290  2024 
University of Southern Maine  USA  Discrete Mathematics I  MATH 145  2015, 2016, 2017 
University of Tennessee Martin  USA  Foundations of Mathematics  MATH 314  2015, 2016 
University of Texas at Tyler  USA  Foundations of Mathematics  MATH 3425  2018, 2021 
University of Toledo  USA  Introduction to Mathematical Analysis  MATH 3190  2016 
University of Tulsa  USA  Introduction to Advanced Mathematics  MATH 3033  2021 
University of Washington Bothell  USA  Foundations of Mathematics  STMATH 300  2016, 2023 
University of Winchester  UK  Discrete Mathematics  MA1005  2017 
University of Wisconsin Superior  USA  Introduction to Abstract Mathematics  MATH 310  2017 
University of Winnipeg  Canada  Discrete Mathematics  MATH 1401  2023, 2024 
University of Wyoming  USA  Discrete Structures  COSC 2300  2019 
Vancouver Island University  Canada  Logic and Foundations  MATH123  2022, 2023, 2024 
Virginia Commonwealth University  USA  Introduction to Mathematical Reason  MATH 300  2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024 
Washington and Jefferson College  USA  Foundations of Higher Mathematics  MTH 211  2019 
Washington and Lee University  USA  Fundamental Concepts of Mathematics  MATH 301  2015, 2016, 2019 
Wayne State College  USA  Transitions to advanced mathematics  MAT 270  2024 
West Chester University  USA  Introduction to Proof  MATH 200  2022 
West Virginia University  USA  Introduction to the Concepts of Mathematics  MATH 283  2018, 2019 
Western Michigan University  USA  Mathematical Proofs  MTH280  2022 
Western Oregon University  USA  Introduction to Proofs  MATH 3140  2023 
Western Washington University  USA  Formal Languages and Functional Programming  CS 301  2015, 2016 
Western Washington University  USA  Introduction to Proof in Discrete Mathematics  MATH 309  2017, 2018, 2020, 2021, 2022 
Westminster College (PA)

USA 
Discrete Mathematics

MTH 241  2010, 2011, 2012, 2013, 2014, 2015, 2016, 2018 
Wright State University  USA  Writing Math Proofs  MTH2800  2017, 2020 
* indicates that book
is suggested and/or supplementary 