CS386L-Programming-Language

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
full		full
plf		plf
tic-tac-toe		tic-tac-toe
#Basics.v#		#Basics.v#
#Hoare.v#		#Hoare.v#
Basics.v		Basics.v
Equiv.v		Equiv.v
Hoare.v		Hoare.v
Hoare2.v		Hoare2.v
IndProp.v		IndProp.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.v
MidtermS18.v		MidtermS18.v
Poly.v		Poly.v
README.md		README.md
Smallstep.v		Smallstep.v
Stlc.v		Stlc.v
StlcProp.v		StlcProp.v
Tactics.v		Tactics.v
Types.v		Types.v
stlc.zip		stlc.zip
try.v		try.v

Provide feedback