yetanotherion/ciproofs yetanotherion/ciproofs

  • Stars
    star
    1
  • Language Coq
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yetanotherion/ciproofs
github

yetanotherion

Reviews

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

Repository Details

Proofs of different Continous Integration process properties.

More Repositories

1

fbgraph_ml

Bindings of the facebook javascript graph-api in ocaml.
OCaml
4
star
2

ml2mxml

create musicxml files from ocaml
OCaml
2
star
3

eliom_and_facebook

OCaml
2
star
4

cv

OCaml
1
star
5

korala

OCaml
1
star
6

hizkuntzak

Games to learn languages
OCaml
1
star