Guy Coder

less info

network profile

1,374 reputation

323

bio	website	none
	location	USA
	age	48
visits	member for	1 year, 2 months
	seen	11 hours ago
stats	profile views	103

Kilroy was here!

summary answers questions tags badges favorites bounties reputation activity

22 Questions

votes activity newest

11	Learning Automated Theorem Proving
10	What is meant by Category theory doesn't yet know how to deal with higher-order functions?
10	What is the relation between functors in SML and Category theory?
10	Types of Automated Theorem Provers
9	How are programming languages and foundations of mathematics related?

view more

1,374 Reputation

+5	How does one deduce small step operational semantics?
+10	What is the relation between functors in SML and Category theory?
+5	Types of Automated Theorem Provers
+5	Learning Automated Theorem Proving

view more

11 Answers

votes activity newest

11	Reason to learn propositional & predicate logic
9	When to use recursion?
8	Where to find published research papers?
7	Introduction into first order logic verification
6	How to implement a prolog interpreter in a purely functional language?

view more

49 Tags

21 reference-request × 9	7 formal-methods × 2
18 logic × 9	7 sat-solvers
13 algorithms × 2	7 software-verification
9 recursion	6 prolog
8 functional-programming × 6	6 logic-programming

view more

21 Accounts

	Stack Overflow	1,868 rep	623
	Computer Science	1,374 rep	323
	Area 51	888 rep	115
	Programmers	561 rep	28
	Meta Stack Overflow	256 rep	17

19 Badges

recent class name

Nice Question × 4	Vox Populi
Enthusiast	Nice Answer
Yearling	Teacher
Custodian × 5	Suffrage
Civic Duty	Autobiographer

view more

0 Active bounties

active offered earned

This user has no active bounties

396 Votes Cast

all time			by type			month		week
396	up		173	question		1		1
0	down		223	answer		1		1

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.697