Name		Name	Last commit message	Last commit date
Latest commit History 480 Commits
00_Foundations		00_Foundations
01_Equality		01_Equality
02_True_False		02_True_False
03_Conjunction		03_Conjunction
04_Implication		04_Implication
05_Functions		05_Functions
06_Forall		06_Forall
06_Negation		06_Negation
07_Forall		07_Forall
07_Negation		07_Negation
08_Bi_implication		08_Bi_implication
09_Disjunction		09_Disjunction
10a_Properties		10a_Properties
10b_Relations		10b_Relations
11_Existential_Quantification		11_Existential_Quantification
12_Sets		12_Sets
13.Inductive_Definitions		13.Inductive_Definitions
14_Relations		14_Relations
AA_Algebras		AA_Algebras
EXAMS		EXAMS
HOMEWORK		HOMEWORK
dafny		dafny
lean-git		lean-git
.gitignore		.gitignore
CheatSheet.lean		CheatSheet.lean
Exam2-Review-key.lean		Exam2-Review-key.lean
Exam2-Review.lean		Exam2-Review.lean
In-class-pre-exam2-quiz-key.lean		In-class-pre-exam2-quiz-key.lean
README.md		README.md
temp.lean		temp.lean

Repository files navigation

cs-dm

CS2012 UVa CS Discrete Math Fall 2018