Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Skolem.v
Find file
Blame
History
Permalink
raccourci : lazy_andb_iff au lieu de andb_lazy_alt + andb_true_iff
· 35a678eb
Pierre Letouzey
authored
Jul 28, 2020
35a678eb