rafaelcgs10/W-in-Coq rafaelcgs10/W-in-Coq

  • Stars
    star
    27
  • Rank 900,972 (Top 18 %)
  • Language Coq
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rafaelcgs10/W-in-Coq
github

rafaelcgs10

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Latex-Beamer-UDESC

It's a beamer presentation written in LaTeX with some theme modifications.
TeX
8
star
2

my-favorite-ascii-art

Just a collection of my favorite ascii art (actually some are utf-8/unicode). Some are my creation, some are stolen.
8
star
3

nix-configs

Just my personal nix files configs and dot files
Nix
3
star
4

cli3DS

A small CLI library for Nintendo 3DS Homebrew applications
C++
2
star
5

verified_stream_processing

A Isabelle/HOL verification framework for Time-Aware Stream Processing
Isabelle
2
star