|
||||
Name: QED Project Description: Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge Category: Foundations Url: http://www-unix.mcs.anl.gov/qed/ Date: 14-05-2003 Current Rating: 6.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
