Computer Science
Profile Activity
Meta user
Network profile
339
reputation
1
8

Patrick Browne

Apparently, this user prefers to keep an air of mystery about them.

1
answer
11
questions
~2k
people reached
  • Member for 3 years, 9 months
  • 26 profile views
  • Last seen Jul 22 at 15:37

Communities (8)

Top network posts

This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges

Top tags (15)

Score 1
Posts 8
Posts % 67
Score 1
Posts 2
Score 0
Posts 5
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (12)

All Questions Answers
Votes Newest
5 Can the semantics of a numeric hierarchy be faithfully represented in Haskell? Nov 24 '17
4 Haskell type classes as ontological categories May 26 '18
4 Can every sentence of first-order logic be converted into an equisatisfiable equation in Boolean algebra? Oct 3 '20
3 Relating a proof to a Haskell program Sep 22 '18
3 Does a Haskell program count as an inductive proof? Oct 19 '17
1 Proving a first order logic theorem in equational logic with a term rewriting system Jan 26 '20
1 Does this Haskell code represent a decision procedure for a theorem? Dec 6 '18
1 Haskell type class and initial algebra Aug 1 '18
1 Haskell type classes as ontological categories Jan 28
0 Can this set of propositions be represented and proved in Haskell? Dec 21 '18
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.