flaviodemoura

Flávio Leonardo Cavalcanti de Moura's repositories

lambdaEX

Formalization of property IE

Language:Coq100

lx_confl

confluence of the lambda x calculus

Language:Coq100

MSNorm

A Coq formalisation of the Modular Strong Normalisation Theorem

Language:Coq100

Zproperty

A formal proof that Z property imples confluence

Language:TeX100

aula18

Language:Coq000

bst

Language:Coq000

confluencia

Language:Coq000

coq-graph-search-proofs

BFS and DFS proofs for Coq.

Language:Coq000

doom_config

doom config

Language:Emacs Lisp000

dotemacs

My emacs configuration file

Language:Emacs Lisp000

empty-project

Language:Coq000

Inducao-github

Atividade sobre Indução

Language:TeX000

insertion_sort

A correção do algoritmo de ordenação por inserção

Language:Coq000

lc1-2020-1

Language:Coq000

lc1-2020-1projeto

Projeto de LC1

Language:Coq000

lc1-2020-2-aula17

Language:Coq000

lc1-2020-2-aula18

000

lc1-2020-2-aula19

Language:Coq000

lc1-2020-2-aula20

Language:Coq000

lc1-2021-1-insere

Language:Coq000

lx-confluence

Language:CoqMIT000

metalib-fork

The Penn Locally Nameless Metatheory Library

Language:CoqNOASSERTION000

paa-2020-1-projeto1

Language:Coq000

paa-2020-1-projeto2

Language:Coq000

paa-2020-1-projeto3

000

PAA-projeto-2019-1

Projeto da disciplina PAA - turma B

Language:TeX000

ProjetoRadixSort

Projeto de LC1 - 2018/2

010

projetoRadixSort2019-1

Projeto de Lógica Computacional 1 2019/1 (Radix Sort)

Language:TeX000

subsexpl

A framework for simulation of explicit substitutions calculi

Language:OCaml000