Cleanup - Badge - Proof Assistants Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Ask questions, find answers and collaborate at work with Stack Overflow for Teams.
Try Teams for free Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Cleanup

First rollback.

Awarded 7 times.

Problem proving a binary add function

Awarded Apr 19, 2022 at 5:45

Trebor♦

4,3341 gold badge9 silver badges40 bronze badges

Is any theorem prover able to prove quadratization relations without knowing the proof strategy that humans used?

Awarded Mar 28, 2022 at 2:16

Nike Dattani

1,17513 silver badges30 bronze badges

Can mathematical formalizations in NuPRL be trusted as correct in the greater mathematical practice?

Awarded Mar 10, 2022 at 22:06

Couchy

2,3302 gold badges9 silver badges39 bronze badges

Why does it matter if canonicity holds for irrelevant types?

Awarded Mar 6, 2022 at 9:34

James Martin

1,0454 silver badges24 bronze badges

Proof assistants for forward reasoning?

Awarded Feb 22, 2022 at 19:03

tinlyx

2,6621 gold badge7 silver badges30 bronze badges

What's the "Hello, World!" for proof assistants?

Awarded Feb 20, 2022 at 17:19

Guy Coder

2,8561 gold badge12 silver badges39 bronze badges

What was the 1st Proof Assistant?

Awarded Feb 12, 2022 at 12:45

taylor.2317

1,3488 silver badges36 bronze badges