|
| From: | Sean McLaughlin |
| Subject: | [Axiom-mail] Source Code |
| Date: | Thu, 02 Oct 2003 09:56:30 -0400 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 |
I'm developing a CAS for a theorem prover, Hol-Light. Will the source code of Axiom ever be made available so I can study the algorithms?
Best, Sean
| [Prev in Thread] | Current Thread | [Next in Thread] |