add lemmas to util/list (!155) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Sergey Bozhko requested to merge sbozhko/rt-proofs:add_lemmas into master Oct 06, 2021

Added a few lemmas to util/list that are needed for POET
Added "subinterval" to the wordlist
Dropped dependency on Coq 8.11, Coq 8.12, ssreflect 1.10, and ssreflect 1.11

Edited Oct 06, 2021 by Sergey Bozhko