Proof Assistants Beta
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 1 year, 9 months
  • Last seen this week
  • Menlo Park, CA, United States
Profile Activity
Stats
2,711
reputation
8k
reached
6
answers
27
questions
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.
3
silver badges
31
bronze badges
Top tags
View all tags
7
Score
3
Posts
9
Posts %
3
Score
13
Posts
39
Posts %
3
Score
8
Posts
24
Posts %
0
Score
10
Posts
30
Posts %
0
Score
5
Posts
15
Posts %
0
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
37
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 proof assistants or theorem provers based on the method of analytic tableaux?
Feb 8, 2022
question
15
Are there any well-known Internal DSL Proof Assistants?
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
13
What are the possible kinds of type theories or logics with quotients?
Feb 13, 2022
question
12
Naming conventions (letter case, underscores, &c) for Coq
Mar 7, 2022
answer
11
What games are there?
Feb 13, 2022
question
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?
22
Language features for making code easier to unit test
17
Golang check if string is valid path
17
What are some interesting features that are common cross-linguistically but don't exist in English?

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.