DiscreteMath
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Some examples of formal discrete math integrated with informal explanation.
(creation_script.lisp)
Mon Aug 2 16:37:30 EDT 2004; WebProjector version=16; NuprlDPSE version=171 (patch 1)
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
DiscreteMath
Search
Doc