Elementary number theory course at Ohio State: upper level elective, has introduction to proofs as a prerequisite, covers groups/rings/fields
The PDF of notes from the first 8 weeks of Spring 2020 is SemesterNotesInPerson2020.pdf, while the tex files and PDF for the last 5 weeks are in the MATH4573Online folder. Online version is at https://ximera.osu.edu/math4573
Used Niven-Zuckerman-Montgomery, at least until the move online.
Pulled from many sources followed for the online notes except for continued fractions (my research area) and Farey fractions (from NZM).
Primitive roots (in person) did take readings from Number Theory: A Lively Introduction with Proofs, Applications, and Stories by James Pommersheim, Tim Marks, Erica Flapan
which likely influenced the presentation of the proof that
Switched to Elementary Number Theory by Gareth A. Jones and J. Mary Jones. Notes mix presentation from Jones & Jones with the presentation from 2020.
Spring 2021 notes are complete, although the SemesterNotesSP2021.tex might be having compile issues.
Number theory course at Davidson College which can also serve as introduction to proofs. Continuing to iterate on the notes from the previous 4 years (Spring 2022 OSU and Spring 2023 Davidson not included in repository).
Using Elementary Number Theory by James K. Strayer as the official textbook, with An Introduction to Proof via Inquiry-Based Learning by Dana C. Ernst for the Introduction to proofs.