Skip to content
GitLab
Explore
Sign in
Rick Smetsers
z3gi
Repository
z3gi
scrap4.py
Find file
Blame
History
Permalink
Working encoding in scrap4 with multiple registers!
· dddf93de
Rick Smetsers
authored
Jun 16, 2017
Seems to be a proper unique-valued right-invariant RA.
dddf93de