Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
theories
algebra
upred.v
Find file
Blame
History
Permalink
Fix bug when building with coq 8.7.2
· 43c867da
Joseph Tassarotti
authored
Mar 05, 2018
43c867da