Skip to content
GitLab
Explore
Sign in
Software
Ruitenburg1984
Repository
ruitenburg1984
BoundsSubformulas.v
Find file
Blame
History
Permalink
works with Coq 8.17, obscene amount of warnings though
· d90837cb
litak
authored
Nov 26, 2023
d90837cb