Skip to content
GitLab
Explore
Sign in
Iris
examples
Repository
examples
theories
spanning_tree
proof.v
Find file
Blame
History
Permalink
Some [positive] was sometimes used for [loc], which is now abstract.
· 5ec0e1f5
Rodolphe Lepigre
authored
May 31, 2019
5ec0e1f5