[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] FOC
|
From: |
daly |
|
Subject: |
[Axiom-developer] FOC |
|
Date: |
Sun, 29 Jun 2014 11:57:35 -0500 |
Renaud,
Your lip6 email address bounces.
I'm spending some time on proving Axiom's algorithms, most likely using Coq.
I ran across one of your papers on the FOC project.
Can you tell me the current state of FOC, where I might find papers
related to proving Axiom, and where, if any, FOC code is published?
Tim Daly
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] FOC,
daly <=