Nuprl Websites
PRL Project Home - Proofs as Programs
- nuprl.org
implementing computational mathematics and providing logic-based tools that help automate programming
Not Applicable
$
8.95
implementing computational mathematics and providing logic-based tools that help automate programming