Proof Assistants Beta
Joachim Breitner's user avatar
Joachim Breitner's user avatar
Joachim Breitner's user avatar
Joachim Breitner
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity
Stats
1,784
reputation
12k
reached
11
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
23
bronze badges
Top tags
View all tags
36
Score
7
Posts
44
Posts %
27
Score
3
Posts
19
Posts %
17
Score
2
Posts
12
Posts %
17
Score
2
Posts
12
Posts %
15
Score
1
Posts
6
Posts %
15
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
27
How to search for an existing theorem in Lean?
Feb 11, 2022
question
18
How can all functions be total in Isabelle?
Feb 9, 2022
answer
17
How can all functions be total in Isabelle?
Feb 9, 2022
answer
15
In Lean, why is the exact tactic necessary when the goal is the same as a hypothesis?
Feb 10, 2022
answer
15
What does the "motive is not type correct" error mean in Lean?
Mar 16, 2022
answer
14
Proof assistants for beginners - a comparison
Feb 9, 2022
question
14
What is in an olean file?
Feb 10, 2022
answer
10
What are good examples of April fools jokes in the proving assistant community?
Apr 1, 2022
answer
10
How to prove Gauss summation of integers with proof assistants using forward reasoning?
Feb 18, 2022
question
6
Formal description of Coq’s termination checker
May 25, 2022
Top Meta posts
1
1
3
tag: hol or higher-order-logic
3
What should the name of our main chatroom be?
Top network posts
View all network posts
164
Find the location of a systemd unit file service
159
Find the location of a systemd unit file service
69
What is a shrink, with regard to Haskell's QuickCheck?
64
What goes wrong when using git worktree with git submodules
44
Why does this Haskell code run slower with -O?

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.