Skip to main content
Proof Assistants Beta
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 2 years, 10 months
  • Last seen this week
  • Menlo Park, CA, United States
Profile Activity
Stats
3,561
reputation
20k
reached
13
answers
65
questions
#2 this week
Communities
View all
About

I am a software engineer. I study math as a hobby.

I'm currently studying logic and commutative algebra.

Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
34
bronze badges
Top tags
View all tags
8
Score
3
Posts
4
Posts %
6
Score
41
Posts
53
Posts %
4
Score
27
Posts
35
Posts %
2
Score
6
Posts
8
Posts %
1
Score
14
Posts
18
Posts %
0
Score
7
Posts
9
Posts %
Top posts
View all questions and answers
question
40
What is predicativity?
Feb 11, 2022
question
18
What is the difference between judgmental equality, definitional equality, and equality types?
Feb 10, 2022
question
16
Are there any well-known Internal DSL Proof Assistants?
Feb 8, 2022
question
16
Are there any proof assistants or theorem provers based on the method of analytic tableaux?
Feb 8, 2022
question
15
Are there automated theorem provers for constructive logics? What strategy do they use?
Feb 11, 2022
question
14
Tools for checking the consistency of a type theory
Feb 20, 2022
question
14
What is a universe?
Feb 26, 2022
question
13
What are the possible kinds of type theories or logics with quotients?
Feb 13, 2022
question
13
Naming conventions (letter case, underscores, &c) for Coq
Mar 7, 2022
question
11
Proof assistants or libraries in proof assistants for working with model theory
Feb 9, 2022
Top Meta posts
5
1
6
Good "What is an X" questions & good answers to them
5
Making / keeping the site expert friendly
4
Should we allow Rosetta-Stone style questions?
4
Tag for questions about definitions and approach
3
Removing the [recommendations] tag
Top network posts
View all network posts
37
How to install Python 3.6?
35
How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?
23
Language features for making code easier to unit test
19
Is a topology recoverable from its set of neighborhoods?
17
Golang check if string is valid path