ସ୍ଥିତି ଯାଞ୍ଚକାରୀ
ଏହା ବର୍ତ୍ତମାନ କଣ ଉପରେ କାମ କରୁଅଛି ତାହା ଦେଖନ୍ତୁ →
ଉଦ୍ଦେଶ୍ୟରେ ସାର୍ବଜନୀନ। ଗୋଟିଏ ସାଇଟ ଯାହାର ସମ୍ପୂର୍ଣ୍ଣ ଦାବି "ସର୍ଭର ଏହାକୁ ଯାଞ୍ଚ କରେ" ତାହା ସ୍ପଷ୍ଟ ଭାବରେ କହିବା ଉଚିତ ଯେ ଯାଞ୍ଚକାରୀମାନେ ସକ୍ରିୟ ଅଛନ୍ତି, ତେଣୁ ଆପଣ ସେମାନଙ୍କ ମଧ୍ୟରେ ଭିନ୍ନତା କହିପାରିବେ ପ୍ରମାଣିତ ହୋଇନାହିଁ ଏବଂ ଆମେ ଆଜି ପ୍ରମାଣକକୁ ଚଲାଇପାରିଲୁ ନାହିଁ.
| ଭିନ୍ନକ୍ଷମ (କୌଣସି ଦାଖଲ ଚଲାଇବା ପୂର୍ବରୁ ଆବଶ୍ୟକ) | ଉପଲବ୍ଧ |
| Lean 4 + Mathlib (କେବଳ ସାଧନ ଯାହାକି ସେଟ କରିପାରିବ ∎) | ଉପଲବ୍ଧ |
| SageMath | ଉପଲବ୍ଧ |
| PARI/GP | ଉପଲବ୍ଧ |
| Z3 / SMT | ଉପଲବ୍ଧ |
| Python (ବରଫବାକ୍ସ) | ଉପଲବ୍ଧ |
| ପ୍ଲଟଗୁଡ଼ିକ (matplotlib) | ଉପଲବ୍ଧ |
| OEIS ସନ୍ଧାନ (କେହି ଜଣେ ଅନ୍ୟର ସର୍ଭର, ତେଣୁ ସର୍ବୋତ୍ତମ ପ୍ରୟାସ) | ଉପଲବ୍ଧ |