Teddy Cameron-Burke teddycb

0 Followers · 0 Following

• Joined on 2022-07-11

Repositories

1

Projects Packages Public Activity Starred Repositories

teddycb pushed to main at teddycb/IsabelleClub 2025-04-30 11:30:27 +00:00

cd52980c31 Updated README

teddycb pushed to main at teddycb/IsabelleClub 2025-04-30 11:22:59 +00:00

94fbc99884 Update VerifyThis2024/README.md

teddycb pushed to main at teddycb/IsabelleClub 2025-04-29 23:55:24 +00:00

a3fa988ff1 Final Version

teddycb pushed to main at teddycb/IsabelleClub 2025-04-25 16:43:03 +00:00

846bbe2428 Template Complete, tbh I don't see us getting to Advanced, but that's where it kinda gets interesting

teddycb pushed to main at teddycb/IsabelleClub 2025-04-25 09:10:34 +00:00

2550c4f1ca initial commit

teddycb created repository teddycb/IsabelleClub 2025-04-25 09:03:17 +00:00