Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
theories
heap_lang
lib
barrier
barrier.v
Find file
Blame
History
Permalink
Update to modern coq directory structure; rename project to 'fri', set up opam.
· baeeaebd
Joseph Tassarotti
authored
Dec 04, 2017
baeeaebd