feat(Propositional/Hilbert/F): prove DT_list, removing two sorries#4
Closed
gotrevor wants to merge 1 commit into
Closed
feat(Propositional/Hilbert/F): prove DT_list, removing two sorries#4gotrevor wants to merge 1 commit into
gotrevor wants to merge 1 commit into
