Formal Proof(class 2018/1)

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
algoritmo20172.v		algoritmo20172.v
bubbleSort2017_2.v		bubbleSort2017_2.v
bubbleSort_equiv.v		bubbleSort_equiv.v
church.v		church.v
insertionsort20172.v		insertionsort20172.v
listas20172.v		listas20172.v
naturais20172.v		naturais20172.v
naturais20172_gabarito.v		naturais20172_gabarito.v
selectionSort.v		selectionSort.v
selectionSort20172_equiv.v		selectionSort20172_equiv.v
selectionSort20172_sorts.v		selectionSort20172_sorts.v
ulc-20172.v		ulc-20172.v

Provide feedback