Skip to content
Snippets Groups Projects
Select Git revision
13 results
Compare
user avatar
Add class `TopSet` for sets with ⊤ element.
Robbert Krebbers authored 
This closes issue #49.
e09f7ce3
History
user avatar e09f7ce3
History
Name Last commit Last update