Skip to main content
Computer Science
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne
  • Member for 7 years, 2 months
  • Last seen more than 1 year 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
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!"?