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