Pinned Repositories
ais_bsn
formal_bubblesort
Este repositório contém uma tentativa de formalização do clássico algoritmo de ordenação BubbleSort utilizando o assistente de provas COQ.
guessing_game
A simple guessing game implementation in Rust as seen in "The Rust Programming Language" book
movie-tickets
Next
oac-trabalho-final-uniciclo
PFTT
Provas Formais
resolucao-obi
trabalho-so-20191
trabalho-tp2
SCouto97's Repositories
SCouto97/ais_bsn
SCouto97/formal_bubblesort
Este repositório contém uma tentativa de formalização do clássico algoritmo de ordenação BubbleSort utilizando o assistente de provas COQ.
SCouto97/guessing_game
A simple guessing game implementation in Rust as seen in "The Rust Programming Language" book
SCouto97/movie-tickets
SCouto97/Next
SCouto97/oac-trabalho-final-uniciclo
SCouto97/PFTT
Provas Formais
SCouto97/resolucao-obi
SCouto97/trabalho-so-20191
SCouto97/trabalho-tp2
SCouto97/TrabalhoIPI