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, 4 months
  • Last seen this week
  • Menlo Park, CA, United States
Profile Activity
Stats
3,053
reputation
14k
reached
11
answers
44
questions
#5 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.
4
silver badges
33
bronze badges
Top tags
View all tags
8
Score
3
Posts
5
Posts %
6
Score
29
Posts
53
Posts %
3
Score
16
Posts
29
Posts %
2
Score
4
Posts
7
Posts %
2
Score
2
Posts
4
Posts %
0
Score
11
Posts
20
Posts %
Top posts
View all questions and answers
38
What is predicativity?
Feb 11, 2022
18
What is the difference between judgmental equality, definitional equality, and equality types?
Feb 10, 2022
16
Are there any proof assistants or theorem provers based on the method of analytic tableaux?
Feb 8, 2022
15
Are there any well-known Internal DSL Proof Assistants?
Feb 8, 2022
15
Are there automated theorem provers for constructive logics? What strategy do they use?
Feb 11, 2022
14
Tools for checking the consistency of a type theory
Feb 20, 2022
13
What are the possible kinds of type theories or logics with quotients?
Feb 13, 2022
12
What is a universe?
Feb 26, 2022
12
Naming conventions (letter case, underscores, &c) for Coq
Mar 7, 2022
11
Proof assistants or libraries in proof assistants for working with model theory
Feb 9, 2022
Top Meta posts
4
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