Skip to content
@funcao

Função

Grupo de Pesquisa em Fundamentos da Computação 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

Showing 2 of 2 repositories

Top languages

Loading…

Most used topics

Loading…