proof-system

8गर्मी

6उत्तर

इंटरेक्टिव गणित सबूत सिस्टम

मैं एक उपकरण की तलाश में हूं (जीयूआई पसंदीदा लेकिन सीएलआई काम करेगा) जो मुझे गणित अभिव्यक्ति इनपुट करने की अनुमति देता है और फिर उनमें से जोड़ों को निष्पादित करता है लेकिन मुझे केवल गणितीय मान्य संचाल

math coq theorem-proving isabelle proof-system 2009-04-10

---