Skip to main content
Proof Assistants Beta
Charles Averill's user avatar
Charles Averill's user avatar
Charles Averill's user avatar
Charles Averill
  • Member for 1 year, 6 months
  • Last seen more than a month ago
  • Houston, TX, USA
Profile Activity
Stats
209
reputation
2k
reached
0
answers
4
questions
Communities
View all
About

I work with Python, Java, C#, and TensorFlow.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
4
Posts
100
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
5
How to prove non-existence of terms that contain themselves in Coq
Mar 14
4
How do I approach the final step in proving the cancellation law in Coq?
Dec 31, 2022
1
How do I approach the final inductive step in `plus_leb_compat_l` from Software Foundations?
Dec 25, 2022
0
Proving non-existence of "least" subtype generator in Coq
Mar 15
Top network posts
View all network posts
69
Supervisor has said some very disgusting things online, should I pull my name from our paper?
23
Is doing a favor for a professor in return for a favor strange?
9
How were registers in the Apollo Guidance Computer implemented?
6
Is it okay to re-render a plot used in another publication?
5
Question about light orthogonal to an event horizon