stelleg/cem_coq stelleg/cem_coq

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • Created over 9 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stelleg/cem_coq
github

stelleg

Reviews

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

Repository Details

Coq implemenation of CEM with proof of correctness

More Repositories

1

tapir-hs

Haskell
2
star
2

plex-media-server-arm

Shell
2
star
3

delayed-audio-feedback

A simple gui for running delayed audio feedback experiments
Python
2
star
4

libomp_fib

C
1
star
5

cfa

CFA playground
Haskell
1
star
6

reductions

C++
1
star
7

beamer-templates

TeX
1
star
8

cem_pearl

Cactus environment machine
TeX
1
star