Samuel Couto's repositories
Language:C++000
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.
Language:Coq000
guessing_game
A simple guessing game implementation in Rust as seen in "The Rust Programming Language" book
000
Language:TypeScript000
Language:Python000
Language:VHDL000
PFTT
Provas Formais
Language:Coq000
Language:Java000
Language:C000
Language:C000
Language:Python000