പരിശോധകന്റെ അവസ്ഥ
നോക്കൂ, എന്താണിപ്പോള്‍ പ്രവര്‍ത്തിക്കുന്നതെന്ന്. →
പൊതുവായതു്. ഒരു സൈറ്റില്‍ മുഴുവന്‍ അവകാശങ്ങള്‍ ഉണ്ടെങ്കില്‍, സെര്‍വര്‍ ഇത് പരിശോധിക്കും എന്ന് വ്യക്തമായി പറയണം ഏതു് ക്ലിപ്പറുകള്‍ ജീവിക്കുന്നു എന്ന്. അതുകൊണ്ട് നിങ്ങള്‍ക്ക് വ്യക്തമായി പറയാന്‍ കഴിയും. തെളിയിക്കുവാന്‍ കഴിഞ്ഞില്ല പിന്നെ ഇന്ന് നമുക്ക് ഡീലിനര്‍ പ്രവര്‍ത്തിക്കാന്‍ കഴിഞ്ഞില്ല..
| അസ്വാഭാവികത (കീഴടങ്ങല്‍ പ്രവര്‍ത്തിപ്പിക്കുന്നതിനു് മുമ്പു് ആവശ്യമുണ്ട്) | ലഭ്യ‌മായ |
| Lean 4 + Mathlib (സജ്ജീകരിക്കുവാന്‍ കഴിയുന്ന ഏക ഉപകരണം ∎) | ലഭ്യ‌മായ |
| SageMath | ലഭ്യ‌മായ |
| PARI/GP | ലഭ്യ‌മായ |
| Z3 / SMT | ലഭ്യ‌മായ |
| Python (മണല്‍ബോക്സ്) | ലഭ്യ‌മായ |
| പ്ലോട്ടുകള്‍ (matplotlib) | ലഭ്യ‌മായ |
| ഒയിസ് നോട്ടം (വേറെ ആരുടെയെങ്കിലും സര്‍വര്‍, വളരെ നല്ല ശ്രമം) | ലഭ്യ‌മായ |