Skip to content
CI

feat(Propositional/Hilbert/F): prove DT_list, removing two sorries #2739

Sign in to view logs

feat(Propositional/Hilbert/F): prove DT_list, removing two sorries

feat(Propositional/Hilbert/F): prove DT_list, removing two sorries #2739

Check mk_all executed

Check mk_all executed
succeeded Jul 3, 2026 in 1m 53s