As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne
  • Member for 5 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
339
reputation
3k
reached
1
answer
11
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
1
Score
8
Posts
67
Posts %
1
Score
2
Posts
17
Posts %
0
Score
5
Posts
42
Posts %
0
Score
3
Posts
25
Posts %
0
Score
2
Posts
17
Posts %
0
Score
2
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
5
Can the semantics of a numeric hierarchy be faithfully represented in Haskell?
Nov 24, 2017
question
4
Haskell type classes as ontological categories
May 26, 2018
question
4
Can every sentence of first-order logic be converted into an equisatisfiable equation in Boolean algebra?
Oct 3, 2020
question
3
Does a Haskell program count as an inductive proof?
Oct 19, 2017
question
3
Relating a proof to a Haskell program
Sep 22, 2018
question
1
Haskell type class and initial algebra
Aug 1, 2018
question
1
Does this Haskell code represent a decision procedure for a theorem?
Dec 6, 2018
question
1
Proving a first order logic theorem in equational logic with a term rewriting system
Jan 26, 2020
answer
1
Haskell type classes as ontological categories
Jan 28, 2021
question
0
Could the execution of a Haskell program be considered as a proof using equational reasoning
Oct 20, 2017
Top network posts
View all network posts
5
Does this Haskell program provide an example of "Theorems for free!"?

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.