Skip to content
Check whitespace

[ add ] lemma relating Propositional and Setoid versions of Sublist #824

Sign in to view logs

[ add ] lemma relating Propositional and Setoid versions of Sublist

[ add ] lemma relating Propositional and Setoid versions of Sublist #824

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
5s
5s