how does dc-proof language compare to mizar?

"Miranda, Brando" <[email protected]> Wed, 28 Nov 2018 16:50:03 +0000

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

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