English Language Learners
taylor.2317's user avatar
taylor.2317's user avatar
taylor.2317's user avatar
taylor.2317
  • Member for 1 year, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
434
reputation
27
reached
0
answers
1
question
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
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
2
Grammar and gramma tag
Feb 27, 2022
Top network posts
View all network posts
25
What was the 1st Proof Assistant?
23
Is there a way to automatically translate proofs from one proof assistant to another?
20
Usage and Importance of Proof Assistants
15
What is a Proof Assistant?
9
How do I install Lean 4?

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.