Proof Assistants Beta
tinlyx's user avatar
tinlyx's user avatar
tinlyx's user avatar
tinlyx
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity
Stats
1,772
reputation
13k
reached
5
answers
20
questions
Communities
View all
Badges
View all badges
1
gold badge
5
silver badges
27
bronze badges
Top tags
View all tags
14
Score
2
Posts
8
Posts %
4
Score
6
Posts
24
Posts %
4
Score
3
Posts
12
Posts %
4
Score
2
Posts
8
Posts %
4
Score
2
Posts
8
Posts %
4
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
18
Can the language of proof assistants be used for general purpose programming?
Mar 19, 2022
question
15
Proof assistants for forward reasoning?
Feb 11, 2022
question
12
Does Lean have a standard ASCII representation?
Mar 4, 2022
question
9
Are `subclass` and `instance` commands equivalent in defining subclass relation between typeclasses in Isabelle?
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
answer
8
Which programming languages are most similar to proof assistants?
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
629
How do I remove a submodule?
69
Difference between Monad and Applicative in Haskell
66
How to create a temporary table using VALUES in PostgreSQL
62
Install gcc-8 only on Ubuntu 18.04?
60
install gcc-9 on Ubuntu 18.04?

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.