[
Date Prev
][
Date Next
]
[Chronological]
[Thread]
[Top]
[mizar] how does dc-proof language compare to mizar?
To
:
"
mizar-forum@mizar.uwb.edu.pl
" <
mizar-forum@mizar.uwb.edu.pl
>
Subject
:
[mizar] how does dc-proof language compare to mizar?
From
:
"Miranda, Brando" <
miranda9@illinois.edu
>
Date: Wed, 28 Nov 2018 16:50:03 +0000
Hi,
I saw DC-proof language. How does it compare to Mizar? Is DC-proof language not as serious about writing proofs?
https://www.quora.com/unanswered/How-does-DC-proof-language-compare-to-Mizar
http://dcproof.com/
Thanks, BM
Prev by Date:
Re: [mizar] How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?
Next by Date:
[mizar] plugin for mizar Atom text editor?
Index(es):
Chronological
Thread