Proof Assistants Beta
taylor.2317's user avatar
taylor.2317's user avatar
taylor.2317's user avatar
taylor.2317
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
1,308
reputation
6k
reached
1
answer
10
questions
Communities
View all
About

profile for taylor.2317 on Stack Exchange, a network of free, community-driven Q&A sites

Divider

He/they
Divider

I am a beginner at , but I can help with most problems in , involving and , or , involving . I can also assist with any issues. Divider

Need further help? Start a chatroom with me or email me!

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
34
bronze badges
Top tags
View all tags
10
Score
1
Posts
9
Posts %
10
Score
1
Posts
9
Posts %
0
Score
4
Posts
36
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
25
What was the 1st Proof Assistant?
Feb 8, 2022
question
23
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 8, 2022
question
19
Usage and Importance of Proof Assistants
Feb 8, 2022
question
18
What is a Proof Assistant?
Feb 8, 2022
question
16
What are some examples of proof assistants doing something useful? [closed]
Feb 8, 2022
answer
10
How do I install Lean 4?
Feb 8, 2022
question
8
What are some useful resources for a mathematician interested in learning Isabelle/HOL?
Feb 16, 2022
question
6
Can Agda proofs be trusted and do they conform to a specific, well-defined type theory?
Feb 17, 2022
question
3
How could I make a Proof Assistant? [closed]
Feb 11, 2022
question
3
How do you know a formal proof (mechanized within a Proof Assistant) really is correct?
Feb 11, 2022
Top Meta posts
9
4
8
Administrators and Permissions
6
Removing the [recommendations] tag
3
Badges not being received
3
Custom Themes and Icons
Top network posts
View all network posts
20
What film was Natasha referencing?
14
How heavy is the LEGO Gold Brick?
9
Which horror film has this basement?
8
How to align text in Mermaid flowchart node?
8
Why is Werewolf by Night in black and white?

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.