Copenhage - DK

Rafael Castro Gonçalves Silva

Expert
@rafaelcgs10

W-in-Coq. This is a Coq formalization of Damas-Milner type system and its algorithm W.

29

Latex-Beamer-UDESC. It's a beamer presentation written in LaTeX with some theme modifications.

8

nix-configs. Just my personal nix files configs and dot files

4

cli3DS. A small CLI library for Nintendo 3DS Homebrew applications

2

verified_stream_processing. A Isabelle/HOL verification framework for Time-Aware Stream Processing

1
5
Apply