this is for holding javascript data
Deyan Ginev edited section_Embedded_Computational_Objects__.tex
almost 9 years ago
Commit id: 39143ef2268ddd438487e3031d206d2d5489a896
deletions | additions
diff --git a/section_Embedded_Computational_Objects__.tex b/section_Embedded_Computational_Objects__.tex
index 3590983..aeca149 100644
--- a/section_Embedded_Computational_Objects__.tex
+++ b/section_Embedded_Computational_Objects__.tex
...
\section{Embedded Computational Objects}
iPython, but mention also openness to embedding \textbf{any} scientific computational tool, notably proof assistants (Mizar, CoQ), as long as they have a transparent engine and data model.
Briefly describe our "embedded blocks" setup. Talk about computation behind figures, hint to computation behind theorems.