Skip to content
View flaviodemoura's full-sized avatar
47 followers · 28 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report flaviodemoura

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. lambdaEX lambdaEX Public

    Formalization of property IE

    Coq 1 2

  2. MSNorm MSNorm Public

    A Coq formalisation of the Modular Strong Normalisation Theorem

    Coq 1

  3. Zproperty Zproperty Public

    A formal proof that Z property imples confluence

    TeX 1

  4. dotemacs dotemacs Public

    My emacs configuration file

    Emacs Lisp

  5. subsexpl subsexpl Public

    A framework for simulation of explicit substitutions calculi

    OCaml 2

  6. Inducao-github Inducao-github Public

    Atividade sobre Indução

    TeX