Skip to content

FIFO basic facts

Kimaya Bedarkar requested to merge RTS/internships-2021:wip-first-steps into master

Added a file for some basic lemmas regarding FIFO.

Merge request reports