Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings
funcao

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Funcao

Grupo de Pesquisa em Fundamentos da Computacao na UDESC

Popular repositories Loading

  1. LML LML Public

    A deep-embedding formalization of modal logic in Coq

    PostScript 8 2

  2. LFI1_Library LFI1_Library Public

    Rocq Prover 1

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 2 of 2 repositories

Top languages

Loading...

Most used topics

Loading...