public marks

PUBLIC MARKS from GeorgesMariano with tag proof

GeorgesMariano's TAGS related to tag proof

Coq +   del.icio.us +   formal +   INRIA:LogiCal +   OCaml +   tool +