مستخدم:بشار الجمال/نموذج صفحة

Welcome to Wikiproofs	Tutorial Subject index Verifier development
the free repository of instantly verified proofs to which anyone can contribute.
Wikiproofs is an online repository of free formalisations. It is possible to reason within such a formalisation, that is, to put forth statements and write formal proofs for some of them. These proofs are immediately verified upon submission by an automated proof verifier. The largest domain of formal reasoning is mathematics, but Wikiproof's underlying proof verifier is sufficiently generic to allow for other formal systems as well.

Links of interest