Skip to main content
deleted 4 characters in body
Source Link
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of proofs that Coq can verify?

2.) How long on average does Coq take to verify a proof?

3.) Do math journals use Coq?

4.) How do I go about it if I want to verify a proof using Coq?

  1. Are there limitations on the kinds of proofs that Coq can verify?

  2. How long on average does Coq take to verify a proof?

  3. Do math journals use Coq?

  4. How do I go about it if I want to verify a proof using Coq?

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of proofs that Coq can verify?

2.) How long on average does Coq take to verify a proof?

3.) Do math journals use Coq?

4.) How do I go about it if I want to verify a proof using Coq?

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

  1. Are there limitations on the kinds of proofs that Coq can verify?

  2. How long on average does Coq take to verify a proof?

  3. Do math journals use Coq?

  4. How do I go about it if I want to verify a proof using Coq?

minor typos
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of proofs that Coq can verify  ?

2.) How long on avergaeaverage does Coq take to verify a proof  ?

3.) Do math journals use Coq  ?

4.) How do iI go about it if iI want to verify a proof using Coq  ?

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of proofs that Coq can verify  ?

2.) How long on avergae does Coq take to verify a proof  ?

3.) Do math journals use Coq  ?

4.) How do i go about it if i want to verify a proof using Coq  ?

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of proofs that Coq can verify?

2.) How long on average does Coq take to verify a proof?

3.) Do math journals use Coq?

4.) How do I go about it if I want to verify a proof using Coq?

deleted 4 characters in body
Source Link

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of ''proofs''proofs that Coq can verify ?

2.) How long on avergae does Coq take to verify a proof ?

3.) Do math journals use Coq ?

4.) How do i go about it if i want to verify a proof using Coq ?

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of ''proofs'' that Coq can verify ?

2.) How long on avergae does Coq take to verify a proof ?

3.) Do math journals use Coq ?

4.) How do i go about it if i want to verify a proof using Coq ?

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:

1.) Are there limitations on the kinds of proofs that Coq can verify ?

2.) How long on avergae does Coq take to verify a proof ?

3.) Do math journals use Coq ?

4.) How do i go about it if i want to verify a proof using Coq ?

added 5 characters in body; edited title
Source Link
Loading
typos + coq-related tags
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Loading
Source Link
Loading