Skip to main content
Proof Assistants Beta
tinlyx's user avatar
tinlyx's user avatar
tinlyx's user avatar
tinlyx
  • Member for 2 years, 4 months
  • Last seen this week
Profile Activity
Stats
2,210
reputation
17k
reached
6
answers
32
questions
Communities
View all
Badges
View all badges
1
gold badge
7
silver badges
29
bronze badges
Top tags
View all tags
14
Score
2
Posts
5
Posts %
4
Score
6
Posts
16
Posts %
4
Score
3
Posts
8
Posts %
4
Score
2
Posts
5
Posts %
3
Score
6
Posts
16
Posts %
0
Score
6
Posts
16
Posts %
Top posts
View all questions and answers
20
Can the language of proof assistants be used for general purpose programming?
Mar 19, 2022
16
Proof assistants for forward reasoning?
Feb 11, 2022
12
Does Lean have a standard ASCII representation?
Mar 4, 2022
9
Are `subclass` and `instance` commands equivalent in defining subclass relation between typeclasses in Isabelle?
Feb 10, 2022
8
How to prove Gauss summation of integers with proof assistants using forward reasoning?
Feb 17, 2022
8
What is the computational complexity of theorem proving?
Feb 19, 2022
8
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
Feb 15, 2022
8
Which programming languages are most similar to proof assistants?
Feb 10, 2022
7
When is the lean 4 "by" required?
Jun 5
7
Is there a way to use sledgehammer in Isar proofs?
Feb 16, 2022
Top Meta posts
1
1
4
Site incorrectly shows that I have modified questions
Top network posts
View all network posts
633
How do I remove a submodule?
69
Difference between Monad and Applicative in Haskell
68
How to create a temporary table using VALUES in PostgreSQL
63
install gcc-9 on Ubuntu 18.04?
62
Install gcc-8 only on Ubuntu 18.04?