Skip to main content
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne
  • Member for 6 years, 9 months
  • Last seen more than 1 year ago
5 votes
1 answer
201 views

Can the semantics of a numeric hierarchy be faithfully represented in Haskell?

4 votes
1 answer
506 views

Haskell type classes as ontological categories

4 votes
0 answers
291 views

Can every sentence of first-order logic be converted into an equisatisfiable equation in Boolean algebra?

3 votes
1 answer
273 views

Relating a proof to a Haskell program

3 votes
1 answer
592 views

Does a Haskell program count as an inductive proof?

1 vote
0 answers
181 views

Does this Haskell code represent a decision procedure for a theorem?

1 vote
1 answer
316 views

Haskell type class and initial algebra

1 vote
0 answers
193 views

Proving a first order logic theorem in equational logic with a term rewriting system

0 votes
1 answer
303 views

Can this set of propositions be represented and proved in Haskell?

0 votes
1 answer
140 views

Could the execution of a Haskell program be considered as a proof using equational reasoning

0 votes
1 answer
111 views

Understanding arguments in Haskell type classes and instances