summaryrefslogtreecommitdiff
path: root/content/digarden/pages/20210414220507-институт_системного_программирования.org
diff options
context:
space:
mode:
Diffstat (limited to 'content/digarden/pages/20210414220507-институт_системного_программирования.org')
-rw-r--r--content/digarden/pages/20210414220507-институт_системного_программирования.org9
1 files changed, 9 insertions, 0 deletions
diff --git a/content/digarden/pages/20210414220507-институт_системного_программирования.org b/content/digarden/pages/20210414220507-институт_системного_программирования.org
new file mode 100644
index 0000000..6bff414
--- /dev/null
+++ b/content/digarden/pages/20210414220507-институт_системного_программирования.org
@@ -0,0 +1,9 @@
+:PROPERTIES:
+:ID: f2be17b3-c69d-45d7-b6bf-2f9b6f1cedd2
+:END:
+#+title: Институт системного программирования
+Институт системного программирования им. В.П. Иванникова РАН -- топовый
+вуз в РФ и возможно мире, связанный с доказательным системным
+программированием.
+
+Сайт: http://https://www.ispras.ru