Carnap – A formal logic framework for Haskell
(carnap.io)
113 points
by ravenical
4 days ago |
20 comments
()
()
()
()
()
