PC19

Exercices and Examples for the PC'19 Autumn school

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
utils		utils
.gitignore		.gitignore
LICENSE_CeCILL_V2-en.txt		LICENSE_CeCILL_V2-en.txt
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject
acc_irr.v		acc_irr.v
c_eps.v		c_eps.v
co_ind.v		co_ind.v
course1.pdf		course1.pdf
course2.pdf		course2.pdf
course3.pdf		course3.pdf
dfs_acc.v		dfs_acc.v
f91.v		f91.v
false_elim.v		false_elim.v
fo_terms.v		fo_terms.v
halve.v		halve.v
iter0.v		iter0.v
itl.v		itl.v
measure_ind.v		measure_ind.v
merge.v		merge.v
mergesort.v		mergesort.v
nm.v		nm.v
php.v		php.v
th_acc.v		th_acc.v
th_bar.v		th_bar.v
wf_chains.v		wf_chains.v
wf_incl.v		wf_incl.v
wf_lex.v		wf_lex.v

Provide feedback