Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
tactics.v
Find file
Blame
History
Permalink
Turn out Coq 8.5 already comes with a module to get lia without axioms: Lia
· 0af80759
Ralf Jung
authored
Aug 29, 2016
0af80759