akanazawa / formal-reasoning-in-computer-science Goto Github PK
View Code? Open in Web Editor NEWUniversity 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.
Home Page: http://p2pu.org/en/groups/formal-reasoning-in-computer-science/