User taylor.2317 - Bicycles Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

taylor.2317

Member for 2 years, 5 months
Last seen more than 1 year ago

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

Divider

He/they
Divider

I am a beginner at python, but I can help with most problems in google-sheets, involving google-sheets-formula and google-apps-script, or excel, involving excel-formula. I can also assist with any conditional-formatting issues. Divider

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

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

4

bronze badges

Citizen Patrol

Jun 17, 2023
Informed

Feb 5, 2022
Supporter

Jun 17, 2023

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?

19

What is a Proof Assistant?