5 commits

Author	SHA1	Message	Date
Alexandros Tsakos	2dc06c061c	figs !publish!	2023-05-09 16:46:34 +02:00
Alexandros Tsakos	f303ebab5d	1b !publish!	2023-05-09 16:43:24 +02:00
Alexandros Tsakos	ff822172fe	picsiz !publish!	2023-05-08 16:53:45 +02:00
Alexandros Tsakos	ce7bd43e82	picsize !publish!	2023-05-08 16:51:48 +02:00
Alexandros Tsakos	064e9845c8	timothea proofs	2023-05-04 16:34:18 +02:00