pi8027/vass pi8027/vass

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Coq
  • Created almost 9 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pi8027/vass
github

pi8027

Reviews

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

Repository Details

More Repositories

1

lambda-calculus

A Formalization of Typed and Untyped Ξ»-Calculi in Coq and Agda2
Coq
77
star
2

typeinfer

Type inference in OCaml
TeX
39
star
3

stablesort

Stable sort algorithms and their stability proofs in Coq
Coq
22
star
4

efficient-finfun

Coq
13
star
5

formalized-postscript

PostScript programming in the Coq proof assistant
Coq
12
star
6

pane-maximize

maximize/restore panes in tmux 1.7.
Shell
8
star
7

sandpit

Coq
3
star
8

config

my configuration files
Vim Script
3
star
9

tppmark

Coq
1
star
10

reducer

Haskell
1
star
11

utils

~/bin
Haskell
1
star
12

record-expansion

A translation from Coq to Coq expanding and eliminating records (WIP)
Coq
1
star