Skip to main content
scubed's user avatar
scubed's user avatar
scubed's user avatar
scubed
  • Member for 10 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
419
reputation
14k
reached
4
answers
17
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
6
Score
4
Posts
19
Posts %
0
Score
15
Posts
71
Posts %
0
Score
2
Posts
10
Posts %
0
Score
2
Posts
10
Posts %
0
Score
1
Posts
5
Posts %
0
Score
1
Posts
5
Posts %
Top posts
View all questions, answers, and articles
6
How do I crossfade between scenes in ffmpeg using a complex filter?
Mar 10, 2014
4
How to optimize a search in coq
Nov 2, 2013
4
How do I crossfade between scenes in ffmpeg using a complex filter?
Mar 9, 2014
4
How do you selectively simplify arguments to each time a function is called, without evaluating the function itself?
Dec 31, 2016
4
coq induction with passing in equality
Oct 3, 2017
2
Encode x264 video with ffmpeg for Android with starting offset
Jul 29, 2013
2
Coinduction not of form A -> A?
Dec 25, 2019
2
Rewrite with variable from inner scope?
Dec 25, 2022
1
How do I move a let variable to a separate hypothesis?
Feb 12
0
How to get an induction principle for nested fix
Oct 6, 2013
Top network posts
View all network posts
18
How to concatenate clips from the same video with ffmpeg