Skip to main content
Proof Assistants Beta
Carter Tazio Schonwald's user avatar
Carter Tazio Schonwald's user avatar
Carter Tazio Schonwald's user avatar
Carter Tazio Schonwald
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
171
reputation
1k
reached
1
answer
0
questions
Communities
View all
About

Computer Scientist based in NYC. Doing a bit of engineering, computer science, applied math, and the theoretical kind too.

my industrial projects are via wellposed.com

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
7
Score
1
Posts
100
Posts %
7
Score
1
Posts
100
Posts %
Top posts
7
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 10, 2022
Top network posts
View all network posts
24
Good papers/books/essays about the thought process behind mathematical research
16
How do you motivate a precise definition to a student without much proof experience?
12
What is the minimum N for which there exist N points in the plane that cannot be covered by any number of non-overlapping closed unit discs?
12
Using gcc instead of clang in ghci or ghc
11
How do I get started in theoretical CS ?