VERIMAG-Polyhedra/VplTactic VERIMAG-Polyhedra/VplTactic

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Coq
  • License
    GNU Lesser Genera...
  • Created over 7 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
VERIMAG-Polyhedra/VplTactic
github

VERIMAG-Polyhedra

Reviews

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

Repository Details

A Coq Tactic for Arithmetic (based on VPL)

More Repositories

1

VPL

Verimag Polyhedra Library
OCaml
17
star
2

opam-vpl

Opam packages for VPL
Scheme
1
star