GitHub - AMB-F/ITU-PV22-mini-project: Repo containing our submission for the mini project is the Program Verification course held in spring of 2022 at IT University of Copenhagen

AMB-F / ITU-PV22-mini-project Public

forked from ahja-itu/ITU-PV22-mini-project

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Repo containing our submission for the mini project is the Program Verification course held in spring of 2022 at IT University of Copenhagen

MIT license

0 stars 1 fork Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
common		common
.gitignore		.gitignore
ADT.glob		ADT.glob
ADT.html		ADT.html
ADT.v		ADT.v
ADT.vo		ADT.vo
ADT.vok		ADT.vok
ADT.vos		ADT.vos
ADTTest.glob		ADTTest.glob
ADTTest.v		ADTTest.v
ADTTest.vo		ADTTest.vo
ADTTest.vok		ADTTest.vok
ADTTest.vos		ADTTest.vos
BagPerm.glob		BagPerm.glob
BagPerm.html		BagPerm.html
BagPerm.v		BagPerm.v
BagPerm.vo		BagPerm.vo
BagPerm.vok		BagPerm.vok
BagPerm.vos		BagPerm.vos
BagPermTest.glob		BagPermTest.glob
BagPermTest.v		BagPermTest.v
BagPermTest.vo		BagPermTest.vo
BagPermTest.vok		BagPermTest.vok
BagPermTest.vos		BagPermTest.vos
Binom.glob		Binom.glob
Binom.html		Binom.html
Binom.v		Binom.v
Binom.vo		Binom.vo
Binom.vok		Binom.vok
Binom.vos		Binom.vos
BinomTest.glob		BinomTest.glob
BinomTest.v		BinomTest.v
BinomTest.vo		BinomTest.vo
BinomTest.vok		BinomTest.vok
BinomTest.vos		BinomTest.vos
Color.glob		Color.glob
Color.html		Color.html
Color.v		Color.v
Color.vo		Color.vo
Color.vok		Color.vok
Color.vos		Color.vos
ColorTest.glob		ColorTest.glob
ColorTest.v		ColorTest.v
ColorTest.vo		ColorTest.vo
ColorTest.vok		ColorTest.vok
ColorTest.vos		ColorTest.vos
Decide.glob		Decide.glob
Decide.html		Decide.html
Decide.v		Decide.v
Decide.vo		Decide.vo
Decide.vok		Decide.vok
Decide.vos		Decide.vos
DecideTest.glob		DecideTest.glob
DecideTest.v		DecideTest.v
DecideTest.vo		DecideTest.vo
DecideTest.vok		DecideTest.vok
DecideTest.vos		DecideTest.vos
Extract.glob		Extract.glob
Extract.html		Extract.html
Extract.v		Extract.v
Extract.vo		Extract.vo
Extract.vok		Extract.vok
Extract.vos		Extract.vos
ExtractTest.glob		ExtractTest.glob
ExtractTest.v		ExtractTest.v
ExtractTest.vo		ExtractTest.vo
ExtractTest.vok		ExtractTest.vok
ExtractTest.vos		ExtractTest.vos
LICENSE		LICENSE
Makefile		Makefile
Makefile.coq		Makefile.coq
Makefile.coq.conf		Makefile.coq.conf
Maps.glob		Maps.glob
Maps.v		Maps.v
Maps.vo		Maps.vo
Maps.vok		Maps.vok
Maps.vos		Maps.vos
MapsTest.glob		MapsTest.glob
MapsTest.v		MapsTest.v
MapsTest.vo		MapsTest.vo
MapsTest.vok		MapsTest.vok
MapsTest.vos		MapsTest.vos
Merge.glob		Merge.glob
Merge.html		Merge.html
Merge.v		Merge.v
Merge.vo		Merge.vo
Merge.vok		Merge.vok
Merge.vos		Merge.vos
MergeTest.glob		MergeTest.glob
MergeTest.v		MergeTest.v
MergeTest.vo		MergeTest.vo
MergeTest.vok		MergeTest.vok
MergeTest.vos		MergeTest.vos
Multiset.glob		Multiset.glob
Multiset.html		Multiset.html
Multiset.v		Multiset.v
Multiset.vo		Multiset.vo
Multiset.vok		Multiset.vok
Multiset.vos		Multiset.vos
MultisetTest.glob		MultisetTest.glob

Repository files navigation

#########################################################################
                           SOFTWARE FOUNDATIONS
#########################################################################

This directory contains both Coq scripts (.v files) and more readable
HTML files for Verified Functional Algorithms, by Andrew W. Appel,
volume 3 of the Software Foundations series.

  - VFA.v or VFA.html
    The place to start reading, including details on how to install
    required software

  - index.html
    The book's cover page and navigation starting point

  - deps.html
    Overview of the ordering of chapters

  - LICENSE
    Explanation of how these files may be redistributed