search

ndslusarz / formal_LDL

MIT License
3 stars 1 forks source link

Better disjunction for DL2 #24

Open hoheinzollern opened 7 months ago

hoheinzollern commented 7 months ago

Should be

  | ldl_or _ s => - prodR (map (oppr \o dl2_translation) s)