Skip to main content
Proof Assistants Beta
sparusaurata's user avatar
sparusaurata's user avatar
sparusaurata's user avatar
sparusaurata
  • Member for 2 years, 9 months
  • Last seen more than a month ago
  • Marseille, France
Profile Activity
Stats
229
reputation
675
reached
2
answers
1
question
Communities
View all
About

PhD student in mathematics, focused on proof theory and λ-calculus. A bit of $\mathrm{\LaTeX}$ stuff too.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
3
Score
3
Posts
100
Posts %
3
Score
2
Posts
67
Posts %
3
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
9
Comparison between proof assistants for coinductive structures and proofs
Feb 28, 2022
answer
3
Is there any formalization (with any theorem prover) of the Bohm theorem for lambda-calculus?
Jun 14, 2023
answer
0
What is the $\mu$ in the labmda calculus defined here?
Apr 1
Top network posts
View all network posts
20
Why isn't TheoretiCS very popular yet?
11
What are pertinent references to cite on Scott domains?
8
What are pertinent references to cite on Scott domains?
7
Greek typewriter characters with \symtt (or \mathtt)
6
Can irrational numbers be represented EXACTLY in lambda calculus?