maria 10c79cb47c saving results to file		2021-07-22 23:24:13 +02:00
..
lemma.ipynb	saving results to file	2021-07-22 23:24:13 +02:00
path.py	sage import	2021-01-13 21:21:05 +01:00
tests.ipynb	saving results to file	2021-07-22 23:24:13 +02:00