GitHub - panic-coursework/fakeverification: MIGRATED: See https://codeberg.org/panic-coursework/fakeverification

This repository has been archived by the owner on May 15, 2023. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
SetsClass		SetsClass
compcert		compcert
materials		materials
.editorconfig		.editorconfig
.gitignore		.gitignore
Assignment0213.v		Assignment0213.v
Assignment0216.v		Assignment0216.v
Assignment0220.md		Assignment0220.md
Assignment0220.pdf		Assignment0220.pdf
Assignment0227.v		Assignment0227.v
Assignment0302.v		Assignment0302.v
Assignment0306.v		Assignment0306.v
Assignment0313.v		Assignment0313.v
Assignment0316.md		Assignment0316.md
Assignment0316.pdf		Assignment0316.pdf
Assignment0320.md		Assignment0320.md
Assignment0320.pdf		Assignment0320.pdf
Assignment0327.v		Assignment0327.v
Assignment0330.v		Assignment0330.v
Assignment0410.md		Assignment0410.md
Assignment0410.pdf		Assignment0410.pdf
BoolExprSem.v		BoolExprSem.v
DenotationalSemantics.v		DenotationalSemantics.v
DenotationalSemantics_old.v		DenotationalSemantics_old.v
EquivAndRefine.v		EquivAndRefine.v
EquivAndRefine_old.v		EquivAndRefine_old.v
HoareLogic.v		HoareLogic.v
HoareLogic_old.v		HoareLogic_old.v
HoareLogic_oldold.v		HoareLogic_oldold.v
Intro.v		Intro.v
ListAndNat.v		ListAndNat.v
PracticalDenotations.v		PracticalDenotations.v
PracticalDenotations_old.v		PracticalDenotations_old.v
SmallStep.v		SmallStep.v
Syntax.v		Syntax.v
Syntax_old.v		Syntax_old.v
Syntax_oldold.v		Syntax_oldold.v
_CoqProject		_CoqProject
coinduction.v		coinduction.v

Provide feedback