Name: Flávio Leonardo Cavalcanti de Moura
Type: User
Company: Universidade de Brasília
Bio: Lecturer in the Department of Computer Science at Universidade de Brasília - Brazil.
Location: Brasil
Blog: http://flaviomoura.info
Flávio Leonardo Cavalcanti de Moura's Projects
BFS and DFS proofs for Coq.
doom config
My emacs configuration file
Atividade sobre Indução
A correção do algoritmo de ordenação por inserção
Formalization of property IE
Projeto de LC1
confluence of the lambda x calculus
The Penn Locally Nameless Metatheory Library
A Coq formalisation of the Modular Strong Normalisation Theorem
Projeto da disciplina PAA - turma B
Projeto de LC1 - 2018/2
Projeto de Lógica Computacional 1 2019/1 (Radix Sort)
A framework for simulation of explicit substitutions calculi
A formal proof that Z property imples confluence