Skip to content
GitLab
Explore
Sign in
Dan Frumin
ReLoC-v1
Repository
logrel-conc
theories
examples
generative.v
Find file
Blame
History
Permalink
Get rid of `Peano.nat.eq_nat_dec` in favour of `decide`.
· 88e22fa8
Dan Frumin
authored
Nov 07, 2017
`decide` works much better because of the general lemmas and tacitcs
88e22fa8