Science Fiction & Fantasy
taylor.2317's user avatar
taylor.2317's user avatar
taylor.2317's user avatar
taylor.2317
  • Member for 1 year, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
517
reputation
0
reached
0
answers
0
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
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
26
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
20
What film was Natasha referencing?
16
What is a Proof Assistant?

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.