Skip to content
Snippets Groups Projects
Commit cb6d6302 authored by Sergey Bozhko's avatar Sergey Bozhko :eyes:
Browse files

move "non-abstract" lemmas for /abstract directory

parent 194fd0c0
No related branches found
No related tags found
1 merge request!366Prove RTA for RS FIFO
Pipeline #100253 passed
Stage: build