Skip to content
GitLab
Explore
Sign in
Simon Spies
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Add class `Involutive`.
· 18f83bcb
Robbert Krebbers
authored
Jun 21, 2019
18f83bcb