NFA empty language check#208

luc-edixhoven wants to merge 1 commit intoleanprover:mainleanprover/cslib:mainfrom

luc-edixhoven:mainluc-edixhoven/cslib:mainCopy head branch name to clipboard