Skip to content
GitLab
Explore
Sign in
Léo Stefanesco
examples
Repository
examples
theories
logrel
persistent_pred.v
Find file
Blame
History
Permalink
Simplify persistent predicates as Robbert suggested
· c8c015c7
Amin Timany
authored
Jun 22, 2020
c8c015c7