A boolean algebra system written in Nim http://www.public.asu.edu/~skulka20/boolalg/
Primary LanguageNim