Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
rm_dstack_wellformed
7decc6f0
·
removed DStack.wellformed from Deque.wellformed; added pres. deque.wellformedness pop/eject
·
Jun 14, 2023
main
default
22e7fbf5
·
refactoring of messed up theorems
·
Aug 21, 2023