Proof Assistants Beta
Michael Norrish's user avatar
Michael Norrish's user avatar
Michael Norrish's user avatar
Michael Norrish
  • Member for 1 year, 9 months
  • Last seen more than a month ago
  • Canberra, Australia
Profile Activity
Stats
1,062
reputation
7k
reached
17
answers
1
question
Communities
View all
About

I am an associate professor at the School of Computing at the Australian National University.

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
16
bronze badges
Top tags
View all tags
17
Score
3
Posts
17
Posts %
15
Score
2
Posts
11
Posts %
12
Score
2
Posts
11
Posts %
11
Score
1
Posts
6
Posts %
10
Score
1
Posts
6
Posts %
10
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
11
To what extent is formalized mathematics publishable?
Mar 4, 2022
answer
10
Construction of inductive types "the hard way"
May 10, 2022
answer
10
What are some examples of proof assistants doing something useful?
Feb 13, 2022
answer
10
WLOG reasoning and Proof Assistants
Feb 23, 2022
answer
6
Performance of de Bruijn indices?
Feb 28, 2022
answer
6
What is known about the consistency of proof assistant metatheories?
Mar 2, 2022
answer
5
How to deal with the proliferation of encodings of ASTs?
Mar 31, 2022
answer
5
Are there any well-known Internal DSL Proof Assistants?
Feb 13, 2022
answer
4
How can I prove facts about floating point calculations?
Feb 13, 2022
answer
3
Proof Assistants with support for creating executable software artifacts
Feb 14, 2022
Top network posts
View all network posts
15
After installing textgreek, lgrenc.def still not available
11
how do I merge the tabs of two open Preview windows if I have more than two open?
6
Is it safe to use -1 to set all bits to true?
6
Moving two existing already-synced directory trees to git annex
6
Emitting LaTeX a “token” at a time, handling superscripts

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.