مستخدم:بشار الجمال/نموذج صفحة
اذهب إلى التنقل
اذهب إلى البحث
Main category · Tearoom · Mathematics · Help
Community Portal
| Welcome to Wikiproofs | |
| 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
- JHilbert extension. JHilbert is the proof verifier behind Wikiproofs.
- JHilbert page on AsteroidMeta
- JHilbert download page
- Metamath, a (non-wiki) site similar in spirit to Wikiproofs.
- MathWeb
- Formalizing 100 Theorems