pranshu/hs-equational-calculator
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
A simple functional equitational calculator in haskell
1 commit 1 branch 0 tags 36 KiB
Find a file
Pranshu Sharma 6d18e0c1fb Inital commit
2025-05-14 23:27:45 +10:00
prover.hs Inital commit 2025-05-14 23:27:45 +10:00