Proof Assistants Beta
tinlyx's user avatar
tinlyx's user avatar
tinlyx's user avatar
tinlyx
  • Member for 1 year, 3 months
  • Last seen this week
Profile Activity
Stats
1,516
reputation
5k
reached
5
answers
15
questions
Communities
View all
Badges
View all badges
1
gold badge
4
silver badges
24
bronze badges
Top tags
View all tags
14
Score
2
Posts
10
Posts %
4
Score
6
Posts
30
Posts %
4
Score
3
Posts
15
Posts %
4
Score
2
Posts
10
Posts %
4
Score
2
Posts
10
Posts %
4
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
15
Proof assistants for forward reasoning?
Feb 11, 2022
question
12
Does Lean have a standard ASCII representation?
Mar 4, 2022
question
12
Can the language of proof assistants be used for general purpose programming?
Mar 19, 2022
answer
8
Which programming languages are most similar to proof assistants?
Feb 10, 2022
question
8
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
Feb 15, 2022
question
8
How to prove Gauss summation of integers with proof assistants using forward reasoning?
Feb 17, 2022
question
8
What is the computational complexity of theorem proving?
Feb 19, 2022
question
8
Are `subclass` and `instance` commands equivalent in defining subclass relation between typeclasses in Isabelle?
Feb 10, 2022
question
7
Is there a way to use sledgehammer in Isar proofs?
Feb 16, 2022
question
6
How to install Lean-4 stable only?
Feb 20, 2022
Top Meta posts
1
1
4
Site incorrectly shows that I have modified questions
Top network posts
View all network posts
622
How do I remove a submodule?
68
Difference between Monad and Applicative in Haskell
64
How to create a temporary table using VALUES in PostgreSQL
61
Install gcc-8 only on Ubuntu 18.04?
59
When is a const reference better than pass-by-value in C++11?

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.