Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
ReLoC
Repository
reloc
theories
experimental
helping
offers.v
Find file
Blame
History
Permalink
Make the helping stack proof abstract in the offers specs (almost?)
· 753db937
Dan Frumin
authored
Apr 22, 2020
753db937