GitHub - kolya-vasiliev/verified-functional-algorithms-2019: My solutions to exercises in "Verified Functional Algorithms" (2019)

kolya-vasiliev / verified-functional-algorithms-2019 Public

My solutions to exercises in "Verified Functional Algorithms" (2019)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
ADT.v		ADT.v
ADTTest.v		ADTTest.v
Binom.v		Binom.v
BinomTest.v		BinomTest.v
Color.v		Color.v
ColorTest.v		ColorTest.v
Decide.v		Decide.v
DecideTest.v		DecideTest.v
Extract.v		Extract.v
ExtractTest.v		ExtractTest.v
Maps.v		Maps.v
MapsTest.v		MapsTest.v
Multiset.v		Multiset.v
MultisetTest.v		MultisetTest.v
Perm.v		Perm.v
PermTest.v		PermTest.v
Preface.v		Preface.v
PrefaceTest.v		PrefaceTest.v
Priqueue.v		Priqueue.v
PriqueueTest.v		PriqueueTest.v
Redblack.v		Redblack.v
RedblackTest.v		RedblackTest.v
SearchTree.v		SearchTree.v
SearchTreeTest.v		SearchTreeTest.v
Selection.v		Selection.v
SelectionTest.v		SelectionTest.v
Sort.v		Sort.v
SortTest.v		SortTest.v
Trie.v		Trie.v
TrieTest.v		TrieTest.v