Skip to main content
Proof Assistants Beta
tinlyx's user avatar
tinlyx's user avatar
tinlyx's user avatar
tinlyx
  • Member for 3 years, 9 months
  • Last seen this week
Profile Activity

Stats

3,340
reputation
41k
reached
7
answers
87
questions
Communities
View all

Badges

View all badges
1
gold badge
9
silver badges
37
bronze badges

Top tags

View all tags
14
Score
3
Posts
3
Posts %
7
Score
65
Posts
69
Posts %
5
Score
6
Posts
6
Posts %
4
Score
6
Posts
6
Posts %
2
Score
3
Posts
3
Posts %
0
Score
6
Posts
6
Posts %

Top posts

View all questions and answers
22
Can the language of proof assistants be used for general purpose programming?
Mar 19, 2022
16
Proof assistants for forward reasoning?
Feb 11, 2022
13
Does Lean have a standard ASCII representation?
Mar 4, 2022
11
How to perform type conversion/coercion in Lean 4?
Jun 23, 2024
9
How to run the main function in lean 4?
May 11, 2022
9
Are `subclass` and `instance` commands equivalent in defining subclass relation between typeclasses in Isabelle?
Feb 10, 2022
9
What is the computational complexity of theorem proving?
Feb 19, 2022
8
How to prove Gauss summation of integers with proof assistants using forward reasoning?
Feb 17, 2022
8
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
Feb 15, 2022
8
Non-trivial examples of dependent sum ($\Sigma$-types) in Lean?
Feb 21, 2022

Top Meta posts

1
1
4
Site incorrectly shows that I have modified questions

Top network posts

View all network posts
637
How do I remove a submodule?
74
How to create a temporary table using VALUES in PostgreSQL
69
Difference between Monad and Applicative in Haskell
65
install gcc-9 on Ubuntu 18.04?
63
Install gcc-8 only on Ubuntu 18.04?