Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
ReLoC
Repository
reloc
theories
logic
proofmode
spec_tactics.v
Find file
Blame
History
Permalink
a tiny clean up
· 3c05b1ae
Dan Frumin
authored
May 04, 2020
3c05b1ae