| 1 |
On Mon, Jun 26, 2006 at 14:26:16 +0200, George Shapovalov wrote: |
| 2 |
|
| 3 |
> sci-mathematics: 34 |
| 4 |
> Ok size. There were calls to split it into symbolic and numeric, also -proof |
| 5 |
> was suggested (but I understand the packages for that one are not in the tree |
| 6 |
> yet). 3-tier categories might be nice here :) (as in sci-math-symbolic, |
| 7 |
> sci-math-numeric..). devs: |
| 8 |
> plasmaroo, agriffis?, mattam, cryos, ribosome?, markusle, spock, phosphan |
| 9 |
|
| 10 |
Sign me up for sci-proof (even if it is only a subset of |
| 11 |
sci-mathematics). As far as I know, there is only coq, but I am working |
| 12 |
on adding agda, and we'll see from there... |
| 13 |
|
| 14 |
Regards, |
| 15 |
/Alexandre |
| 16 |
-- |
| 17 |
Hi, I'm a .signature virus! Please copy me in your ~/.signature. |
Archives