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
  • LML Public

    A deep-embedding formalization of modal logic in Coq

    funcao/LML’s past year of commit activity
    PostScript 8 BSD-3-Clause 2 0 1 Updated Aug 21, 2025
  • LFI1_Library Public
    funcao/LFI1_Library’s past year of commit activity
    Rocq Prover 0 1 0 0 Updated Jun 16, 2025

Top languages

Loading…

Most used topics

Loading…