For the p2pu group, notes and answers to questions in:
-
Notifications
You must be signed in to change notification settings - Fork 1
University of Maryland open study group on mathematical proofs, theoretical arguments, probability theory and randomized algorithms. Focus on solving problems. Content has been chosen to complement graduate-level work in computer science.
akanazawa/Formal-Reasoning-in-Computer-Science
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
University of Maryland open study group on mathematical proofs, theoretical arguments, probability theory and randomized algorithms. Focus on solving problems. Content has been chosen to complement graduate-level work in computer science.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published