Proof Assistants Beta
ErikMD's user avatar
ErikMD's user avatar
ErikMD's user avatar
ErikMD
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
407
reputation
2k
reached
3
answers
1
question
Communities
View all
About
  • As required by the Terms of Service of Stack Exchange, all the content I contribute to its sites is licensed under CC BY-SA 4.0. Attribution takes this form.
  • Additionally, I grant all other contributors a MIT license for all code snippets (unless otherwise stated) that are part of that content.
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
12
bronze badges
Top tags
View all tags
3
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
26
What set-theoretic definitions can't easily be formalized in a type theory?
Feb 9, 2022
answer
4
Type Theory research groups
Feb 27, 2022
answer
3
How do you know a formal proof (mechanized within a Proof Assistant) really is correct?
Feb 26, 2022
answer
-1
Tools to formally verify programs written in languages supported by the GNU Compiler (GCC)
Feb 28, 2022
Top network posts
View all network posts
82
Install python package in docker file
63
Docker compose with name other than dockerfile
52
ignore all .git folders in .dockerignore
41
Docker-compose tagging and pushing
27
How to merge rules on a GitLab CI Job

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.