Proof Assistants Beta
keep_learning's user avatar
keep_learning's user avatar
keep_learning's user avatar
keep_learning
  • Member for 1 year, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
248
reputation
698
reached
2
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
4
Score
2
Posts
67
Posts %
2
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
9
Type Checking Undecidable in Extensional Type Theory
Feb 13, 2022
answer
2
How do I approach the final inductive step in `plus_leb_compat_l` from Software Foundations?
Dec 26, 2022
answer
2
Are there any ergonomic ways to deal with finite types in Coq?
Jan 20
Top network posts
View all network posts
6
Download pdf file from wikipedia
6
Parallel Matrix Multiplication
6
SPOJ Problem KPRIMES2
5
Replacing a word by synonyms in Haskell
5
Data flow optimisation using HOOPL

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.