Skip to content
/ formula-helper Public

Automates certain operations on logical formulae and prints the working. Very WIP.

3 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

robweingart/formula-helper

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits

main.hs

main.hs

 
 

About

Automates certain operations on logical formulae and prints the working. Very WIP.

Activity

Stars

3 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages