Issue del repository

akanazawa/Formal-Reasoning-in-Computer-Science

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.

Vedi su GitHub
Star
 (2 star)
Fork
 (1 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
Non ancora indicizzato
Ultimo push GitHub
28 dic 2011
Licenza
Nessun dato sulla licenza
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Emacs Lisp
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate aperte

RSSAtom

Nessuna issue indicizzata aperta trovata per questo repository.