Skip to content
GitLab
Explore
Sign in
Ralf Jung
Iris
Repository
iris
_CoqProject
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