fblanqui/color fblanqui/color

  • Stars
    star
    32
  • Rank 801,539 (Top 16 %)
  • Language Coq
  • License
    Other
  • Created almost 7 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fblanqui/color
github

fblanqui

Reviews

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

Repository Details

Coq library on rewriting theory and termination

More Repositories

1

moca

Generator of OCaml construction functions for quotient types
OCaml
2
star