Theoretical Computer Science
Makarius's user avatar
Makarius's user avatar
Makarius's user avatar
Makarius
  • Member for 11 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
435
reputation
10k
reached
3
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
33
Score
2
Posts
67
Posts %
33
Score
2
Posts
67
Posts %
18
Score
1
Posts
33
Posts %
15
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
answer
18
How do 'tactics' work in proof assistants?
Mar 3, 2013
answer
15
Shallow versus Deep Embeddings
Mar 3, 2013
answer
1
What tools do you use to write papers?
Mar 4, 2013
Top network posts
View all network posts
21
ML IDE and Compiler for Windows or Linux or Mac
15
Learning Automated Theorem Proving
11
Core of Verifier in Isabelle/HOL
9
The "CPS" approach has done great harm to performance in SML/NJ; reasoning desired
7
Interactive math proof system