Skip to content

refactor: merge page_table config lemmas into single requirements lemma - #3

Closed
Je5s1e wants to merge 1 commit into
Marsman1996:fix-axiomfrom
Je5s1e:fix-axiom-merge-lemmas
Closed

refactor: merge page_table config lemmas into single requirements lemma#3
Je5s1e wants to merge 1 commit into
Marsman1996:fix-axiomfrom
Je5s1e:fix-axiom-merge-lemmas

refactor: merge page_table config lemmas into single requirements lemma

da8e47a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs